Recomienda este artículo a tus amigos:
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science Egon Borger 2008 edition
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science
Egon Borger
Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.
394 pages, Illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 8 de septiembre de 2008 |
| ISBN13 | 9783540876021 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 384 |
| Dimensiones | 155 × 235 × 25 mm · 612 g |
| Lengua | Francés |
| Editor | Boca, Paul |
| Editor | Boerger, Egon |
| Editor | Bowen, Jonathan P. |
| Editor | Butler, Michael |
Mas por Egon Borger
Mostrar todoMere med samme udgiver
Ver todo de Egon Borger ( Ej. Paperback Book , Book y Hardcover Book )