Siirry suoraan sisältöön
ZUM '95: The Z Formal Specification Notation
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
Painos
1995 ed.
ISBN
9783540602712
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
23.8.1995
Sivumäärä
583