Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2010)

Brand new: lowest price

AU $167.87

Free postage
  • Get it by Thu, 31 May - Mon, 18 Jun from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
Invited Talks. - Embedded Systems Design - Scientific Challenges and Work Directions. - Antichain Algorithms for Finite Automata. - Probabilistic Systems and Optimization. - Model Checking Interactive Markov Chains.