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

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.9.S88
 
Call Number Status Get It
QA76.9.S88 Available