B 2007: Formal Specification and Development in B
7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based...
Leider schon ausverkauft
versandkostenfrei
Buch
74.89 €
Produktdetails
Produktinformationen zu „B 2007: Formal Specification and Development in B “
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models.
Klappentext zu „B 2007: Formal Specification and Development in B “
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models.
Bibliographische Angaben
- 2006, 297 Seiten, Maße: 15,7 x 24,1 cm, Kartoniert (TB), Englisch
- Herausgegeben:Julliand, Jacques; Kouchnarenko, Olga
- Herausgegeben: Jacques Julliand, Olga Kouchnarenko
- Verlag: Springer
- ISBN-10: 3540687602
- ISBN-13: 9783540687603
Sprache:
Englisch
Kommentar zu "B 2007: Formal Specification and Development in B"
0 Gebrauchte Artikel zu „B 2007: Formal Specification and Development in B“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "B 2007: Formal Specification and Development in B".
Kommentar verfassen