B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, ... Notes in Computer Science (1393), Band 1393)
von
Bert Didier
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-64405-7
ISBN-10: 3-540-64405-9
Springer
· 2008