Ciencia1.com - Ciencia y Tecnología - Ciencia, tecnología, educación y Libertad. Noticias y artículos de ciencia y tecnología, videos e imágenes, blogs de Ciencia y tecnología, directorio y enlaces. Recursos, reportajes, guas, biografías y notas de ciencia y tecnología
Directorio|Noticias|Artículos|Videos|Imágenes|Blog|Libros|Exposiciones    
Traducir/translate:







Ciencia1.com - Ciencia y Tecnología | Informática | Ciencias Computacionales | Metodos Formales

Categorías

» Agregar Enlace

Enlaces a sitios

BYU Laboratory for Applied Logic
BYU Laboratory for Applied Logic
Idioma: English / English
CSP Archive
contains information relevant to the process algebra CSP (Communicating Sequential Processes)
Idioma: English / English
FAQ - HOL Documentation Server
FAQ - HOL Documentation Server
Idioma: English / English
Formal Methods - Model Checking
model checking is a method for formally verifying finite-state concurrent systems.
Idioma: English / English
MeijeTools
a set of tools for the automatic verification of parallel and distributed systems.
Idioma: English / English
NASA Langley Formal Methods Program
NASA Langley Formal Methods Program
Idioma: English / English
Petri Nets
a formal graphical notation for modelling systems with concurrency
Idioma: English / English
SICS/KTH - Formal Design Techniques group
SICS/KTH - Formal Design Techniques group
Idioma: English / English
The HOL Theorem Proving System
The HOL Theorem Proving System
Idioma: English / English
UC Davis Programming Languages and Verification Laboratory
UC Davis Programming Languages and Verification Laboratory
Idioma: English / English
Warsaw University - Applied Logic Group
Main Fields of Research Interest: Logics of programs, lambda calculus, type theory, non-monotonic reasoning, complexity theory, automata theory, functional programming, semantics of programming languages.
Idioma: English / English
Web Directory: Formal Method Sites
Web Directory: Formal Method Sites
Idioma: English / English
Web Directory: Formal Methods - WWW Virtual Library
Web Directory: Formal Methods - WWW Virtual Library
Idioma: English / English
Web Directory: HOL - WWW Virtual Library
Web Directory: HOL - WWW Virtual Library
Idioma: English / English



 


 


 






Home Atrás Arriba


Estamos en:
 Blogalaxia
 Directory of Science Blogs
 

 
Ciencia1.com:
2022 Ciencia1.com - Ciencia y Tecnología. Permitida la reproducción siempre que se señale la fuente y enlace correspondiente a cada material info@ciencia1.com