Formal techniques in real-time and fault-tolerant systems

4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by MARC Bot
July 30, 2019 | History

Formal techniques in real-time and fault-tolerant systems

4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

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

Publish Date
Publisher
Springer
Language
English
Pages
478

Buy this book

Book Details


Edition Notes

Includes bibliographical references and index.

Published in
Berlin, New York
Series
Lecture notes in computer science,, 1135

Classifications

Dewey Decimal Class
004/.33
Library of Congress
QA76.54 .F657 1996

The Physical Object

Pagination
x, 478 p. :
Number of pages
478

Edition Identifiers

Open Library
OL997074M
ISBN 10
3540616489
LCCN
96035763
LibraryThing
8251482

Work Identifiers

Work ID
OL18301612W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

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