B '98, Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998 Proceedings - Lecture Notes in Computer Science - Bert Didier - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540644057 - April 8, 1998
In case cover and title do not match, the title is correct

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

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20
Add to your iMusic wish list

Not rated yet

Taken from the Second International B Conference, B'98, held in Montpellier, France, in April 1998, this text covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications and B extension proposals and support tools.


328 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 8, 1998
ISBN13 9783540644057
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 328
Dimensions 156 × 234 × 17 mm   ·   426 g
Language German  
Editor Didier, Bert

Mere med samme udgiver