Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642055553 - 8 grudnia 2010
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Klaus Schneider

Cena
zł 284,90

Zamówione z odległego magazynu

Przewidywana dostawa 18 - 27 gru
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

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