Research Catalog

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings

Title
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / J. Vytopil (ed.).
Publication
Berlin ; New York : Springer-Verlag, ©1991.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.54 .F66 1991Off-site

Details

Additional Authors
Vytopil, J. (Jan), 1947-
Description
ix, 620 pages : illustrations; 25 cm
Series Statement
Lecture notes in computer science ; 571
Uniform Title
Lecture notes in computer science ; 571.
Subject
  • Real-time data processing > Congresses
  • Fault-tolerant computing > Congresses
  • Congrès
  • Traitement des données
  • Analyse de réseau
  • Fault-tolerant computing
  • Real-time data processing
  • Real-time systemen
  • Formele talen
  • Storingsbestendige computersystemen
  • Temps réel (informatique) > Congrès
  • Databehandling > Pålitelighet > Kongresser
Genre/Form
Conference papers and proceedings.
Bibliography (note)
  • Includes bibliographical references.
ISBN
  • 3540550925
  • 9783540550921
  • 0387550925
  • 9780387550923
LCCN
91043620
OCLC
  • ocm24907268
  • 24907268
  • SCSB-1954641
Owning Institutions
Princeton University Library