Tools and algorithms for the construction and analysis of systems : first international workshop, TA - detaljert visning

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers

TACAS '95
Bok Engelsk 1995


Utgitt	Berlin : Springer , c1995
Omfang	289 s. : fig.
Emner	Tacas Teoretisk databehandling distribuerte systemer algoritmer systemutvikling
ISBN	3540606300