Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lecture Notes in Computer Science 9035 (Paperback)
  • Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lecture Notes in Computer Science 9035 (Paperback)
zoom

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lecture Notes in Computer Science 9035 (Paperback)

(editor), (editor)
£69.99
Paperback 725 Pages / Published: 08/04/2015
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions. In addition, the book contains one invited contribution. The papers have been organized in topical sections on hybrid systems; program analysis; verification and abstraction; tool demonstrations; stochastic models; SAT and SMT; partial order reduction, bisimulation, and fairness; competition on software verification; parameter synthesis; program synthesis; program and runtime verification; temporal logic and automata and model checking.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783662466803
Number of pages: 725
Weight: 1122 g
Dimensions: 235 x 155 x 38 mm
Edition: 2015 ed.

You may also be interested in...

Algorithms Unlocked
Added to basket
Introduction to Algorithms
Added to basket
Algorithmic Problem Solving
Added to basket
Understanding Cryptography
Added to basket
Understanding Cryptography
Added to basket
Algorithms
Added to basket
£66.99
Hardback
Concise Guide to Databases
Added to basket
Machine Learning
Added to basket
£39.99
Paperback
Introduction to Algorithms
Added to basket
The End of Error
Added to basket
Purely Functional Data Structures
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.