Cover of: Formal techniques in real-time and fault-tolerant systems. by H. Langmaack, W. -P. de Roever, J. Vytopil (Eds.).
Preview

Buy this book

When you buy books using these links the Internet Archive may earn a small commission.

Last edited by ImportBot
October 4, 2021 | History

Formal techniques in real-time and fault-tolerant systems.

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition was published in by Springer-Verlag in Berlin.

Written in English

787 pages

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

Previews available in: English

Edition Availability
Cover of: Formal techniques in real-time and fault-tolerant systems.
Formal techniques in real-time and fault-tolerant systems.
1994, Springer-Verlag
in English

Add another edition?

Formal techniques in real-time and fault-tolerant systems.

This edition was published in by Springer-Verlag in Berlin.


Edition Notes

Series
Lecture Notes in Computer Science S -- 863

Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Pagination
24cm.xiv,787.
Number of pages
787

ID Numbers

Open Library
OL16510888M
ISBN 10
3540584684
Library Thing
2632996
Goodreads
4004858

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists containing this Book

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
October 4, 2021 Edited by ImportBot import existing book
June 30, 2019 Edited by Clean Up Bot import existing book
April 3, 2019 Edited by Clean Up Bot import existing book
August 18, 2010 Edited by IdentifierBot added LibraryThing ID
September 24, 2008 Created by ImportBot Imported from Talis MARC record.