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

B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier France April 22-24 1998 Proceedings
Didier Bert
Springer. 2008
15x23x2cm. Broché. 328 pages
isbn-10: 3-540-64405-9
isbn-13: 978-3-540-64405-7
Très bon état - L'ouvrage qui n'a jamais été lu peut présenter de légères traces de stockage mais est du reste en très bon état. envoi rapide et soigné dans un emballage adapté depuis France