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 - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540212997 - 18 mars 2004
Si la couverture et le titre ne correspondent pas, le titre est 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

Prix
SEK 1.359

Commandé depuis un entrepôt distant

Livraison prévue 11 - 23 juil.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 18 mars 2004
ISBN13 9783540212997
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 614
Dimensions 155 × 235 × 32 mm   ·   1,43 kg
Langue et grammaire German  
Éditeur Jensen, Kurt
Éditeur Podelski, Andreas
Afficher tout

Plus par Kurt Jensen

Voir tous les Kurt Jensen ( par ex. Paperback Book , Hardcover Book et Loose-leaf )