Gå direkte til innholdet
ZUM '95: The Z Formal Specification Notation
Spar

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.
Undertittel
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Opplag
1995 ed.
ISBN
9783540602712
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
23.8.1995
Antall sider
583