Catálogo de publicaciones - libros
Título de Acceso Abierto
Foundations of Software Science and Computation Structures: Foundations of Software Science and Computation Structures
Parte de: Theoretical Computer Science and General Issues
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
graph theory; computer software; semantics; modal logic; program compilers; artificial intelligence; type systems; formal logic; petri nets; separation logic; programming language; software engineering; theorem proving; selection and evaluation; verification
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | Directory of Open access Books |
|
Información
Tipo de recurso:
libros
País de edición
Reino Unido
