Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture Notes in Computer Science, Band 5977)

Proceedings

von: Marc Frappier · Uwe Glasser · Sarfraz Khurshid · Régine Laleau · Steve Reeves

Taschenbuch

ISBN-13: 978-3-642-11810-4

ISBN-10: 3-642-11810-0

Springer · 2010