*Result*: Formal specification and development in Z and B
*Title*:
Formal specification and development in Z and B : proceedings / ZB 2000, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000. Jonathan P. Bowen ... (ed.)
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin : Springer, 2000
*Physical description scale*:
XIV, 510 Seiten : Diagramme ; 24 cm
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; Vol. 1878
*show_all_volumes*
*show_all_volumes*
*Notes*:
Literaturangaben
*Subject Added Keywords*:
*ISBN*:
3540679448