Using Z specification, refinement, and proof

Bibliographische Detailangaben

1. Verfasser:	Woodcock, Jim (VerfasserIn)
Weitere Verfasser:	Davies, Jim (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	London u.a. Prentice Hall 1996
Schriftenreihe:	Prentice Hall international series in computer science
Schlagworte:	Z (Langage de programmation) > Z
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!