ZB 2005

formal specification and development in Z and B : 4th international conference of B and Z users, Guildford, UK, April 13-15, 2005 : proceedings

Verfasser / Beitragende:
Helen Treharne ... [et al.], (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2005
Beschreibung:
491 p. : ill.
Format:
Buch (Kongress)
ID: 357514122