B 2007: Formal Specification And Development In B: 7th International Conference Of B Users, Besancon, Franc by Jacques JulliandB 2007: Formal Specification And Development In B: 7th International Conference Of B Users, Besancon, Franc by Jacques Julliand

B 2007: Formal Specification And Development In B: 7th International Conference Of B Users…

byJacques JulliandEditorOlga Kouchnarenko

Paperback | December 14, 2006

Pricing and Purchase Info

$114.32 online 
$136.95 list price save 16%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:B 2007: Formal Specification And Development In B: 7th International Conference Of B Users…Format:PaperbackDimensions:297 pages, 23.5 × 15.5 × 0.01 inPublished:December 14, 2006Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540687602

ISBN - 13:9783540687603

Look for similar items by category:

Reviews