Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee - Kurt Jensen - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540212997 - 18 marca 2004
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Kurt Jensen
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee 2004 edition

Cena
zł 409,90

Zamówione z odległego magazynu

Przewidywana dostawa 31 gru - 8 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004).

614 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 18 marca 2004
ISBN13 9783540212997
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 614
Wymiary 155 × 235 × 32 mm   ·   1,43 kg
Język Niemiecki  
Redaktor Jensen, Kurt
Redaktor Podelski, Andreas

Więcej od Kurt Jensen

Pokaż wszystko

Zobacz wszystko od Kurt Jensen ( np. Paperback Book , Hardcover Book i Loose-leaf )