Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , , , , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
Edición: | 1st ed. 2010. |
Colección: | Theoretical Computer Science and General Issues,
5977 |
Temas: | |
Acceso en línea: | Texto Completo |
Descripción Física: | XIV, 416 p. 95 illus. online resource. |
---|---|
ISBN: | 9783642118111 |
ISSN: | 2512-2029 ; |