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 1996
Ausgabe:2. ed.
Schriftenreihe:Prentice Hall international series in computer science
Schlagwörter:
Umfang:XIV, 434 S.
ISBN:0132422077
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur: 0102 DAT 370f 2001 A 27807(2) Lageplan
Exemplar 1 Ausleihbar Am Standort