Verification of sequential and concurrent programs /
Guardado en:
| Autor principal: | Apt, Krzysztof R. |
|---|---|
| Otros Autores: | Olderog, Ernst-Rüdiger |
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
New York :
Springer-Verlag,
1991
|
| Edición: | 1st. ed. |
| Colección: | Texts and monographs in computer science
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Ejemplares similares
-
Verification of sequential and concurrent programs
por: Apt, Krzysztof R. -
Principles of concurrent and distributed programming /
por: Ben-Ari, Mordechai
Publicado: (2006) -
Programming languages : principles and practice /
por: Louden, Kenneth C.
Publicado: (2012) -
Programming languages : design and implementation /
por: Pratt, Terrence W.
Publicado: (2001) -
Programming language : design concepts /
por: Watt, David A.
Publicado: (2004)