An introduction to formal specification and Z:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Potter, Ben (VerfasserIn), Sinclair, Jane (VerfasserIn), Till, David (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: New York u.a. Prentice Hall 1991
Ausgabe:1. publ.
Schriftenreihe:Prentice Hall international series in computer science
Schlagwörter:
Umfang:XIII, 304 S. graph. Darst.
ISBN:0134787021