Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642055553 - December 8, 2010
In case cover and title do not match, the title is correct

Klaus Schneider
Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series Softcover Reprint of Hardcover 1st Ed. 2004 edition

Price
$ 55.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

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

620 pages, 19 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 8, 2010
ISBN13 9783642055553
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 620
Dimensions 156 × 234 × 31 mm   ·   857 g
Language German  

More by Klaus Schneider

Show all

See all of Klaus Schneider ( e.g. Paperback Book , Hardcover Book and 12" )