B'98: Recent Advances in the Development and Use of the B Method

B'98: Recent Advances in the Development and Use of the B Method

Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

by Bert Didier

311 pages· 1998· ISBN 9783540644057

Browse books you can read free on Readfeed

About
This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998. The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.

Discuss B'98: Recent Advances in the Development and Use of the B Method with other readers

Join or start a book club for B'98: Recent Advances in the Development and Use of the B Method on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Frequently asked questions

How do I join a book club for B'98: Recent Advances in the Development and Use of the B Method?

Sign up free on Readfeed, then browse public clubs or start your own club with B'98: Recent Advances in the Development and Use of the B Method as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss B'98: Recent Advances in the Development and Use of the B Method with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about B'98: Recent Advances in the Development and Use of the B Method 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.