B 2007: Formal Specification and Development in B

B 2007: Formal Specification and Development in B

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

by Jacques Julliand, Olga Kouchnarenko

297 pages· 2006· ISBN 9783540687603
Join Readfeed freeFind clubs reading this bookBrowse readable books
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.

Discuss B 2007: Formal Specification and Development in B with other readers

Join or start a book club for B 2007: Formal Specification and Development in B on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for B 2007: Formal Specification and Development in B?

Sign up free on Readfeed, then browse public clubs or start your own club with B 2007: Formal Specification and Development in B as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss B 2007: Formal Specification and Development in B with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about B 2007: Formal Specification and Development in B with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.