Treffer: Formal specification and development in Z and B
Titel:
Formal specification and development in Z and B : proceedings / ZB 2002, 2nd International Conference of B and Z Users, Grenoble, France, January 23 - 25, 2002. Didier Bert ... (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2002
Umfang:
XII, 534 Seiten : Diagramme ; 24 cm
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; Vol. 2272
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540431667