- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540562832
3540562834
9780387562834
0387562834
- Dimensions
-
24 cm
- Extent
-
VIII, 164 S.
- Language
-
Englisch
- Notes
-
Literaturverz. S. 151 - 161
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 651
- Keyword
-
Verteiltes System
Echtzeitverarbeitung
Spezifikation
Temporale Logik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1992
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:03 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Koymans, Ronald L.
- Springer
Time of origin
- 1992
Other Objects (12)
Specifying communication protocols with temporal logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Message-passing concurrency for Python
SAT solving with message passing
A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
IPv6-Message-Passing mit Open MPI
Distributed algorithms for message-passing systems
Parallelising molecular dynamics for message passing systems
Temporal Logic
Recent advances in the message passing interface : proceedings
Efficient Verification of Fault-Tolerant Message-Passing Protocols
PIMP my many-core: pipeline-integrated message passing
Specifying communication protocols with temporal logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Message-passing concurrency for Python
SAT solving with message passing
A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
IPv6-Message-Passing mit Open MPI
Distributed algorithms for message-passing systems
Parallelising molecular dynamics for message passing systems
Temporal Logic
Recent advances in the message passing interface : proceedings
Efficient Verification of Fault-Tolerant Message-Passing Protocols
PIMP my many-core: pipeline-integrated message passing
Specifying communication protocols with temporal logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Message-passing concurrency for Python
SAT solving with message passing
A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
IPv6-Message-Passing mit Open MPI
Distributed algorithms for message-passing systems
Parallelising molecular dynamics for message passing systems
Temporal Logic
Recent advances in the message passing interface : proceedings
Efficient Verification of Fault-Tolerant Message-Passing Protocols