Marc Frappier (EDT), Uwe Glasser (EDT), Sarfraz Khurshid (EDT), Regine Laleau (EDT), Steve Reeves (EDT) Abstract State Machines, Alloy, B and Z

Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Springer Berlin Heidelberg

Date: 2010

EAN/ISBN13: 978-3-642-11811-1

ISBN10: 3-642-11811-9

You can ask us about this book and we'll send an answer to your e-mail.