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 - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540672821 - 15 mars 2000
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.419

Beställningsvara

Förväntad leverans 10 - 19 dec
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista

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

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 15 mars 2000
ISBN13 9783540672821
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 552
Mått 155 × 233 × 29 mm   ·   1,31 kg

Se alt med S Graf ( t.ex. Pocketbok )