Stefan Kowalewski (EDT), Marco Roveri (EDT) Formal Methods for Industrial Critical Systems

15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 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-15898-8

ISBN10: 3-642-15898-6

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