Titel: B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science)
Verlag: Springer 2007-02-01
Ver�ffentlichungsdatum: 2007
Sprache: Englisch
ISBN-10: 3540687602
ISBN-13: 9783540687603
Bindung: Paperback
Zustand: New

�ber diesen Titel

Inhaltsangabe

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.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

WRAP Ltd
Unit 4, 119 Loverock Rd, Reading, RG30 1DZ, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

TBA

Versandbedingungen

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.