Cover of Hubert Garavel (EDT), John Hatcliff (EDT): Tools and Algorithms for the Construction and Analysis of Systems

Hubert Garavel (EDT), John Hatcliff (EDT) Tools and Algorithms for the Construction and Analysis of Systems

9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

VAT 0% included

New

E-book delivered electronically online

E-Book information

Springer Berlin Heidelberg

2003

PDF
How do I buy e-book?

978-3-540-36577-8

3-540-36577-X

Ask question

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