Catálogo de publicaciones - libros
Título de Acceso Abierto
Programming Languages and Systems: Programming Languages and Systems
Parte de: Theoretical Computer Science and General Issues Series
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
distributed computer systems; program verification; software engineering specifications; systems verification; processors; semantics; type; program compilers; artificial intelligence; formal logic; formal model; java; model checking; computer architecture; separation logic; programming language; theorem proving; computer software selection and evaluation
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
