Abstract State Machines, B And Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | September 8, 2008 |
| Editors | Paul Boca |
| Michael Butler | |
| Jonathan Bowen | |
| Egon Börger | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2027462 |
About Abstract State Machines, B And Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. . . .