Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings - S Graf - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540672821 - 15 mars 2000
Si la couverture et le titre ne correspondent pas, le titre est correct.

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

S Graf

Prix
€ 122,49

Commandé depuis un entrepôt distant

Livraison prévue 11 - 20 déc.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits iMusic

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

552 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 15 mars 2000
ISBN13 9783540672821
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 552
Dimensions 155 × 233 × 29 mm   ·   1,31 kg

Voir tous les S Graf ( par ex. Paperback Book )