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

Verfasser / Beitragende:
Didier Bert ... [et al.], (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2002
Beschreibung:
534 p. : ill.
Format:
Buch (Kongress)
ID: 357513622