Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc - Parosh Aziz Abdulla - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783642198342 - 18 mars 2011
Om omslag och titel inte matchar är det titeln som gäller

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc

Parosh Aziz Abdulla

Logga in för att få ett meddelande när artikeln är tillgänglig igen

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrucken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

410 pages, 104 black & white illustrations, 30 colour illustrations, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 18 mars 2011
ISBN13 9783642198342
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 394
Mått 155 × 235 × 23 mm   ·   612 g
Språk Franska  
Redaktör Abdulla, Parosh Aziz
Redaktör Leino, K. Rustan M.
Visa alla

Fler produkter med Parosh Aziz Abdulla

Se alt med Parosh Aziz Abdulla ( t.ex. Pocketbok )