ISBN Search

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 8413)

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 8413)

ISBN-13: 9783642548611

ISBN-10: 364254861X

Edition: 2014

Binding: Paperback

Publisher: Springer

Published: 2014-03-11

Sell this book           Buy or Rent?

Best Prices for this Book in New Condition

Best Used Prices

As an Amazon Associate I earn from qualifying purchases.