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 - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783642198342 - 18 maart 2011
Indien omslag en titel niet overeenkomen, is de titel correct

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

Log in om bericht te krijgen wanneer het product weer beschikbaar is

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 18 maart 2011
ISBN13 9783642198342
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 394
Afmetingen 155 × 235 × 23 mm   ·   612 g
Taal en grammatica Frans  
Uitgever Abdulla, Parosh Aziz
Uitgever Leino, K. Rustan M.
Alles tonen

Meer door Parosh Aziz Abdulla

Bekijk alles van Parosh Aziz Abdulla ( bijv. Paperback Book )