Home > B' 98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
B' 98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
Book Informaton
Author
Didier Bert
Series
Lecture Notes in Computer Science
Volume
1393
Year of Publication
1998
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
311
Language
EN
ISBN
9783540644057, 9783540697695, 3540644059
ARI Id
1674219908197
This page has been accessed 3 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |