Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lecture Notes in Computer Science 7795 (Paperback)
  • Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lecture Notes in Computer Science 7795 (Paperback)
zoom

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lecture Notes in Computer Science 7795 (Paperback)

(editor), (editor)
£69.99
Paperback 646 Pages / Published: 20/02/2013
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. They are organized in topical sections named: Markov chains; termination; SAT/SMT; games and synthesis; process algebra; pushdown; runtime verification and model checking; concurrency; learning and abduction; timed automata; security and access control; frontiers (graphics and quantum); functional programs and types; tool demonstrations; explicit-state model checking; Buchi automata; and competition on software verification.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642367410
Number of pages: 646
Weight: 1015 g
Dimensions: 235 x 155 x 34 mm
Edition: 2013 ed.

You may also be interested in...

Absolute Java: International Edition
Added to basket
C Programming Language
Added to basket
PHP and MySQL Web Development
Added to basket
Code
Added to basket
£21.99
Paperback
Arduino For Dummies
Added to basket
£16.99
Paperback
Python 3 for Absolute Beginners
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback
Python for Data Science For Dummies
Added to basket
Core Python Applications Programming
Added to basket
Coding for Beginners in easy steps
Added to basket
Clean Code
Added to basket
£36.99
Paperback
JavaScript in Easy Steps
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
C++ Pocket Reference
Added to basket
How to Build a Billion Dollar App
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.