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 1992
Ausgabe:4. print.
Schlagwörter:
Beschreibung:Prentice Hall international series in computer science
Umfang:XIII, 304 S. graph. Darst.
ISBN:0134787021