*Result*: B 2007: Formal Specification and Development in B
*Title*:
B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings / edited by Jacques Julliand, Olga Kouchnarenko
*Author/editor-in-chief*:
*Edition*:
1st ed. 2006
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XIII, 297 Seiten)
*Format*:
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 4355
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: B 2007: Formal Specification and Development in B. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540687603
*Subject Added Keywords*:
*ISBN*:
9783540687610 ; 3540687610 ; --354068760-2 ; --354083414-1 ; 978--354068760-3 (Sekundärausgabe) ; 978--354083414-4 (Sekundärausgabe)
*DOI*:
10.1007/11955757