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
R$ 318.90
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 28 - Aug 7
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