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 - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540672821 - March 15, 2000
In case cover and title do not match, the title is correct

S Graf

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

Price
₺ 4,519
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 4 - 16
Christmas presents can be returned until 31 January
Add to your iMusic wish list

552 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 15, 2000
ISBN13 9783540672821
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 552
Dimensions 155 × 233 × 29 mm   ·   1.31 kg
Language German