ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science)
Edición de la obra ZB 2003
| Autor | Jonathan P. Bowen, Steve King |
|---|---|
| Editorial | Springer |
| Fecha de publicación | August 5, 2003 |
| Idioma | inglés |
| Páginas | 547 |
| Formato | Paperback |
| ISBN-13 | 9783540402534 |
| ISBN-10 | 3540402535 |
| OCLC | 52295208 |
| LCCN | 2003052988 |