Vor Ort
Merkzettel Warenkorb
Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems
Band 331

Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.09.1988

Abbildungen

VIII, 232 p.

Herausgeber

Mathai Joseph

Verlag

Springer Berlin

Seitenzahl

232

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

371 g

Auflage

1988

Sprache

Englisch

ISBN

978-3-540-50302-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.09.1988

Abbildungen

VIII, 232 p.

Herausgeber

Mathai Joseph

Verlag

Springer Berlin

Seitenzahl

232

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

371 g

Auflage

1988

Sprache

Englisch

ISBN

978-3-540-50302-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Techniques in Real-Time and Fault-Tolerant Systems
  • High integrity computing.- Using higher-order logic for modular specification of real-time distributed systems.- Timed specifications for the development of real-time systems.- Applications of temporal logic to the specification of real time systems.- From a synchronous declarative language to a temporal logic dealing with multiform time.- A specification language for reliable real-time systems.- Timed acceptances: A model of time dependent processes.- Responsive sequential processes.- Static analysis of real-time distributed systems.- Low level synchronisation problems in digital systems.- Reasoning about uncertainty in fault-tolerant distributed systems.- Paradigms for real-time systems.- Towards a theory of replicated processing.- Reasoning about atomic objects.- A formal treatment of interference in remote procedure calls.- List of authors and addresses.