Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding - Orna Grumberg - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540712084 - March 9, 2007
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding 2007 edition

Orna Grumberg

Price
HK$ 955
excl. VAT

Ordered from remote warehouse

Expected delivery May 26 - Jun 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding 2007 edition

Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.

740 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 9, 2007
ISBN13 9783540712084
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 740
Dimensions 152 × 229 × 38 mm   ·   1.05 kg
Language French  
Editor Grumberg, Orna
Editor Huth, Michael
Show all

More by Orna Grumberg

See all of Orna Grumberg ( e.g. Paperback Book )