An edition of Formal Techniques in Real-Time and Fault-Tolerant Systems (1994)

Formal techniques in real-time and fault-tolerant systems

third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Formal techniques in real-time and fault-tole ...
H. Langmaack, W.-P. de Roever, ...
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 14, 2024 | History
Edit
An edition of Formal Techniques in Real-Time and Fault-Tolerant Systems (1994)

Formal techniques in real-time and fault-tolerant systems

third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings

by

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

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

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
787

Check nearby libraries

Buy this book

Subjects
Congresses, Real-time data processing, Fault-tolerant computing

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Formal techniques in real-time and fault-tolerant systems
Formal techniques in real-time and fault-tolerant systems: third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings
1994, Springer-Verlag
in English
  • Not in Library
Libraries near you: WorldCat
Cover of: Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly With the Working Group Provably Correct S (Lecture Notes in Computer Science)
September 1994, Springer
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.

Published in
Berlin, New York
Series
Lecture notes in computer science ;, 863

Classifications

Dewey Decimal Class
004/.33
Library of Congress
QA76.54 .F66 1994

The Physical Object

Pagination
xiv, 787 p. :
Number of pages
787

ID Numbers

Open Library
OL1108083M
ISBN 10
0387584684
LCCN
94033384
OCLC/WorldCat
31044783
Goodreads
4528779

Source records

Library of Congress MARC record
marc_columbia MARC record

Community Reviews (0)

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

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 14, 2024 Edited by MARC Bot import existing book
November 18, 2020 Edited by MARC Bot import existing book
July 30, 2019 Edited by MARC Bot associate edition with work OL8056508W
April 16, 2010 Edited by bgimpertBot Added goodreads ID.
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record