Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceeding
TACAS '98
Bok Engelsk 1998
| Utgitt | Berlin : Springer , c1998
|
|---|---|
| Omfang | XIII, 455 s. : ill.
|
| Opplysninger | Bibliographic Level Mode of Issuance: Monograph
|
| Emner | |
| Dewey | |
| ISBN | 3540643567
|
