Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings
Tiziana Margaria, Bernhard Steffen (eds.)
Bok Engelsk 1996 TACAS '96
| Utgitt | Berlin : Springer , c1996
|
|---|---|
| Omfang | XI, 434 s. : ill.
|
| Emner | |
| ISBN | 3540610421
|
