Detailsuche

Julliand / Kouchnarenko

B 2007: Formal Specification and Development in B

7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
2006. Buch. xiii, 297 S.: Bibliographien. Softcover
Springer ISBN 978-3-540-68760-3
Format (B x L): 15,5 x 23,5 cm
Gewicht: 480 g
In englischer Sprache
Das Werk ist Teil der Reihen:
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.

Audience

Research

Versandkostenfrei
lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht
74,89 €
inkl. MwSt.
Webcode: beck-shop.de/zcrd
Herausgegeben von: link iconJacques Julliand und link iconOlga Kouchnarenko