Research Catalog

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Title: Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.).
Author: TACAS 2000 (6th : 2000 : Berlin, Germany)
Publication: Berlin ; New York : Springer, c2000.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 00-948	Offsite

Details

Additional Authors

Description

xiv, 552 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 1785

Alternative Title

TACAS 2000, tools and algorithms for the construction and analysis of systems

Subjects

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 00-948

ISBN

3540672826 (softcover : alk. paper)

LCCN

00029648

OCLC

43662175

Conference

TACAS 2000 (6th : 2000 : Berlin, Germany)

Title

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.).

Imprint

Berlin ; New York : Springer, c2000.

Series

Lecture notes in computer science, 0302-9743 ; 1785

Bibliography

Includes bibliographical references and index.

Added Author

Graf, Susanne.

Schwartzbach, Michael I.

ETAPS 2000 (2000 : Berlin, Germany)

Spine Title

TACAS 2000, tools and algorithms for the construction and analysis of systems

Research Call Number

JSE 00-948

View in Legacy Catalog