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: Harlow ; Munich [u.a.] Pearson Prentice Hall 2004
Ausgabe:2. ed., [Nachdr.]
Schriftenreihe:Prentice Hall international series in computer science
Schlagwörter:
Umfang:XIV, 434 S. graph. Darst.
ISBN:0132422077