Tell your friends about this item:
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 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
S Graf
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 |
See all of S Graf ( e.g. Paperback Book )
Christmas presents can be returned until 31 January