Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings - S Graf - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540672821 - 15 marca 2000
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

S Graf

Cena
zł 526,90

Zamówione z odległego magazynu

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

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

552 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 15 marca 2000
ISBN13 9783540672821
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 552
Wymiary 155 × 233 × 29 mm   ·   1,31 kg