Tallenna
ZUM '95: The Z Formal Specification Notation
The papers in this text cover applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. The book includes an annotated Z bibliography listing 544 entries.
- Alaotsikko
- 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
- Toimittaja
- Jonathan P. Bowen, Michael G. Hinchey
- Painos
- 1995 ed.
- ISBN
- 9783540602712
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 23.8.1995
- Sivumäärä
- 583
