Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Joost-Pieter Katoen, Perdita Stevens (eds.)
Bok Engelsk 2002 TACAS 2002
| Utgitt | Berlin : Springer , c2002
|
|---|---|
| Omfang | XIII, 482 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540434194
|
