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

Didier Bert

ISBN 10: 3540644059 / ISBN 13: 9783540644057

Published by Springer, 2008

About this Item

Très bon état - L'ouvrage qui n'a jamais été lu peut présenter de légères traces de stockage mais est du reste en très bon état. envoi rapide et soigné dans un emballage adapté depuis France. 15x23x2cm. 2008. Broché. 328 pages. Very Good.

Seller Inventory # 500008177

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 Proceedings
• Publisher: Springer
• Publication Date: 2008
• Language: English
• ISBN 10: 3540644059
• ISBN 13: 9783540644057
• Binding: Soft cover
• Condition: Very Good
• Seller catalogs:
  • Romans

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.