This book is currently unavailable on Open Library, check out available alternatives.
An edition of Tools and algorithms for the construction and analysis of systems (1996)

Tools and algorithms for the construction and analysis of systems

Second International Workshop, TACAS '96, Passau, Germany, March 1996 : proceedings

by

Cover of: Tools and algorithms for the construction and analysis of systems by International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (2nd 1996 Passau, Germany), International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (2nd 1996 Passau, Germany)
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

This book is currently unavailable on Open Library, check out available alternatives.
Last edited by MARC Bot
August 21, 2025 | History
Edit
An edition of Tools and algorithms for the construction and analysis of systems (1996)

Tools and algorithms for the construction and analysis of systems

Second International Workshop, TACAS '96, Passau, Germany, March 1996 : proceedings

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
434

Check nearby libraries

Buy this book

Subjects

Congresses Development Distributed processing System design Congress Electronic data processing Computer software Computer software, development Electronic data processing, distributed processing
Edition Availability
Cover of: Tools and algorithms for the construction and analysis of systems
Tools and algorithms for the construction and analysis of systems: Second International Workshop, TACAS '96, Passau, Germany, March 1996 : proceedings
1996, Springer
in English

Add another edition?

Book Details

Edition Notes

Also known as TACAS '96.

Includes bibliographical references and index.

Published in
Berlin, London
Series
Lecture notes in computer science -- 1055
Other Titles
TACAS '96.

Classifications

Dewey Decimal Class
004.2/1
Library of Congress
QA76.9.S88, QA76.9.S88 T33 1996, QA75.5-76.95

The Physical Object

Pagination
xi, 434p. ;
Number of pages
434

Edition Identifiers

Open Library
OL21843293M
ISBN 10
3540610421
LCCN
96004088
OCLC/WorldCat
34472909
Goodreads
4701728

Work Identifiers

Work ID
OL13479191W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation