B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedi

Didier, Bert

ISBN 10: 3540644059 / ISBN 13: 9783540644057

Published by Springer 1998-04, 1998

About this Item

Seller Inventory # 6666-IUK-9783540644057

Bibliographic Details

• Title: B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedi
• Publisher: Springer 1998-04
• Publication Date: 1998
• Language: English
• ISBN 10: 3540644059
• ISBN 13: 9783540644057
• Binding: PF
• Condition: New

About this title

Synopsis

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.