B'98: Recent Advances in the Development and Use of the B Method: Second Interna
68,21 €
Short Title B98 RECENT ADVANCES IN THE DEV. 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.
Jetzt bei Ebay:
