Treffer: Formal specification and development in Z and B
Titel:
Formal specification and development in Z and B : proceedings / ZB 2000, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000. Jonathan P. Bowen ... (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2000
Umfang:
XIV, 510 Seiten : Diagramme ; 24 cm
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; Vol. 1878
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
3540679448