Formal techniques in real-time and fault-tolerant systems

5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings

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

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

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

Buy this book

Last edited by Open Library Bot
April 28, 2010 | History

Formal techniques in real-time and fault-tolerant systems

5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings

  • 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
Language
English
Pages
338

Buy this book

Previews available in: English

Book Details


Published in

Berlin, New York

Edition Notes

Includes bibliographical references and index.
"Fifth in a line of international schools and symposia"--Pref.

Series
Lecture notes in computer science,, 1486

Classifications

Dewey Decimal Class
004/.33
Library of Congress
QA76.54 .F75 1998, QA75.5-76.95

The Physical Object

Pagination
viii, 338 p. :
Number of pages
338

ID Numbers

Open Library
OL377994M
Internet Archive
formaltechniques0000ftrt_o7n0
ISBN 10
3540650032
LCCN
98040041
Goodreads
3900753

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
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
February 1, 2010 Edited by WorkBot add more information to works
December 9, 2009 Created by WorkBot add works page