• B 2007: Formal Specification a...
  • Bestand

Treffer: B 2007: Formal Specification and Development in B

Titel:
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
Beteiligt:
Julliand, Jacques (Herausgeber); Kouchnarenko, Olga (Herausgeber)
Ausgabe:
1st ed. 2006
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIII, 297 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 4355
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: B 2007: Formal Specification and Development in B. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540687603
Schlagworte:
ISBN:
9783540687610 ; 3540687610 ; --354068760-2 ; --354083414-1 ; 978--354068760-3 (Sekundärausgabe) ; 978--354083414-4 (Sekundärausgabe)
DOI:
10.1007/11955757

Zusatz-Informationen

Zusatz-Funktionen