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

Name: 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
Price: 122.99 USD
Availability: OutOfStock
Author: Orna Grumberg

Price

$ 122.99

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 21

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

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

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