Powiedz znajomym o tym przedmiocie:
Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series Softcover Reprint of Hardcover 1st Ed. 2004 edition
Klaus Schneider
Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series Softcover Reprint of Hardcover 1st Ed. 2004 edition
Klaus Schneider
620 pages, 19 black & white illustrations, biography
Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 8 grudnia 2010 |
ISBN13 | 9783642055553 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 620 |
Wymiary | 156 × 234 × 31 mm · 857 g |
Język | German |
Pokaż wszystko
Więcej od Klaus Schneider
Zobacz wszystko od Klaus Schneider ( np. Paperback Book , 12" i Hardcover Book )