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
|