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

Data & IT

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

Name: B'98: Recent Advances in the Development and Use of the B Method
Price: 749 SEK
Availability: InStock
Author: Bert Didier
ISBN: 9783540644057

Bert Didier

Pocket

749:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

320 sidor
1998

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.

Författare: Bert Didier
Format: Pocket/Paperback
ISBN: 9783540644057
Språk: Engelska
Antal sidor: 320
Utgivningsdatum: 1998-04-08
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG