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, 4355)

ISBN 10: 3540687602 / ISBN 13: 9783540687603

Verlag: Springer, 2006

Beschreibung

Like New.

Bestandsnummer des Verkäufers ERICA77335406876026

Bibliografische Details

• 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, 4355)
• Verlag: Springer
• Erscheinungsjahr: 2006
• Sprache: Englisch
• ISBN-10: 3540687602
• ISBN-13: 9783540687603
• Einband: Paperback
• Zustand: Like New
• Buchtyp: book

Ü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.