B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, ... Notes in Computer Science, 1393, Band 1393) - Softcover

Didier, Bert

 
9783540644057: B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, ... Notes in Computer Science, 1393, Band 1393)
Softcover
ISBN 10: 3540644059 ISBN 13: 9783540644057
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540644059
ISBN 13 
9783540644057
Einband
Taschenbuch
Anzahl der Seiten
328
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland