Judi M.T. Romijn (EDT), Graeme P. Smith (EDT), Jaco C. van de Pol (EDT) Integrated Formal Methods

5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. 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: 2005

EAN/ISBN13: 978-3-540-32240-5

ISBN10: 3-540-32240-X

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