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

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

Kurt Jensen

Prijs
€ 123,99

Besteld in een afgelegen magazijn

Verwachte levering 29 mei - 10 jun.

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

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 18 maart 2004
ISBN13 9783540212997
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 614
Afmetingen 155 × 235 × 32 mm   ·   1,43 kg
Taal en grammatica Duits  
Uitgever Jensen, Kurt
Uitgever Podelski, Andreas
Alles tonen

Meer door Kurt Jensen

Bekijk alles van Kurt Jensen ( bijv. Paperback Book , Hardcover Book en Loose-leaf )