B'98: Recent Advances in the Development and Use of the B Method
Second International B Conference, Montpellier, France, April 22-24, 1998. Proceedings.
(Sprache: Englisch)
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...
The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B...
Leider schon ausverkauft
versandkostenfrei
Buch
74.89 €
Produktdetails
Produktinformationen zu „B'98: Recent Advances in the Development and Use of the B Method “
Klappentext zu „B'98: Recent Advances in the Development and Use of the B Method “
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.
Inhaltsverzeichnis zu „B'98: Recent Advances in the Development and Use of the B Method “
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.
Bibliographische Angaben
- 1998, 1998, 320 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Ed. by Didier Bert
- Herausgegeben: Bert Didier
- Verlag: Springer
- ISBN-10: 3540644059
- ISBN-13: 9783540644057
- Erscheinungsdatum: 08.04.1998
Sprache:
Englisch
Kommentar zu "B'98: Recent Advances in the Development and Use of the B Method"
0 Gebrauchte Artikel zu „B'98: Recent Advances in the Development and Use of the B Method“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "B'98: Recent Advances in the Development and Use of the B Method".
Kommentar verfassen