ZB 2002
formal specification and development in Z and B : 2nd international conference of B and Z users, Grenoble, France, January 23-25, 2002 : proceedings
Gespeichert in:
Verfasser / Beitragende:
Didier Bert ... [et al.], (eds.)
Ort, Verlag, Jahr:
Berlin :
Springer,
2002
Beschreibung:
534 p. : ill.
Format:
Buch (Kongress)