Wolfgang Grieskamp (EDT), Thomas Santen (EDT), Bill Stoddart (EDT) Integrated Formal Methods

Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 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: 2007

EAN/ISBN13: 978-3-540-40911-3

ISBN10: 3-540-40911-4

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