Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012, Pisa, Italy, june 18-21, 2012, proceedings /
| Autor Corporativo: | |
|---|---|
| Otros Autores: | |
| Formato: | Procedimiento de la Conferencia Libro |
| Lenguaje: | English |
| Publicado: |
Heidelberg :
Springer,
c2012.
|
| Colección: | Lecture notes in computer science
7316 |
| Materias: | |
| Acceso en línea: | Ver documento en línea |
Internet
Ver documento en líneaSistema de Bibliotecas de Universidad de Costa Rica
| Número de Clasificación: |
004 |
|---|---|
| Copia | Disponible |