Items related to B 2007: Formal Specification and Development in B

B 2007: Formal Specification and Development in B - Softcover

 
9783540834144: B 2007: Formal Specification and Development in B
Softcover
ISBN 10: 3540834141 ISBN 13: 9783540834144
Publisher: Springer, 2008

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2008
Language
English
ISBN 10 
3540834141
ISBN 13 
9783540834144
Binding
Paperback
Number of pages
316
Editor
Julliand Jacques, Kouchnarenko Olga

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540687603: 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)

Featured Edition

ISBN 10:  3540687602 ISBN 13:  9783540687603
Publisher: Springer, 2006
Softcover