|
|
1.
|
Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. por
- Frappier, Marc [editor.]
- Glässer, Uwe [editor.]
- Khurshid, Sarfraz [editor.]
- Laleau, Régine [editor.]
- Reeves, Steve [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5977
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.
|
