Cover Image

Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996 ; proceedings /

Bibliographic Details
Corporate Authors: SpringerLink (Online service), TACAS, International Workshop on Tools and Algorithms for the Construction and Analysis of Systems
Other Authors: Margaria, Tiziana
Format: Conference Proceeding eBook
Language:English
Published: Berlin [u.a.] : Springer, 1996.
Series:Lecture notes in computer science ; 1055.
Subjects:
Computer software > Development > Congresses.
Electronic data processing > Distributed processing > Congresses.
System design > Congresses.
Computer software > Development.
Electronic data processing > Distributed processing.
System design.
Verteiltes System
Systemtheorie
Kongress
Passau <1996>
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Literaturangaben
Electronic resource.
Physical Description:1 online resource (XI, 434 S.)
ISBN:3540610421
9783540610427