B 2007: Formal Specification and Development in B

Name: B 2007: Formal Specification and Development in B
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540687603
Price: 50.01 EUR
Availability: InStock

7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Autor: Jacques Julliand, Olga Kouchnarenko

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.01 €

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 200...

Informácie o knihe

Autor

Jacques Julliand, Olga Kouchnarenko

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2006

Stránok

297

EAN

9783540687603

ISBN

3540687602

Enbook ID

01567749

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

482

Rozmery

154 x 18 x 17

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

B 2007: Formal Specification and Development in B

7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež