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

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

Klaus Schneider

Price
CA$ 77.49
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 18 - 28

Our customers say:

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

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

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  
Show all

More by Klaus Schneider

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