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
Gespeichert in:
Verfasser / Beitragende:
Helen Treharne ... [et al.], (eds.)
Ort, Verlag, Jahr:
Berlin :
Springer,
2005
Beschreibung:
491 p. : ill.
Format:
Buch (Kongress)