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

Orna Grumberg
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

Price
CA$ 174.49
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 2 - 18
Christmas presents can be returned until 31 January
Get notified about new Orna Grumberg releases

Our customers say:

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

Not rated yet

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

More by Orna Grumberg

Show all

More from the same publisher

See all of Orna Grumberg