Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Lecture Notes in Computer Science 651
| ISBN: | 3540562834 |
|---|---|
| ISBN 13: | 9783540562832 |
| Autor: | Koymans, Ron |
| Verlag: | Springer Verlag GmbH |
| Umfang: | viii, 166 S. |
| Erscheinungsdatum: | 14.12.1992 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Verifying Concurrent Processes Using Temporal Logic]()
Verifying Concurrent Processes Using Temporal Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multi-Threaded Object-Oriented MPI-Based Message Passing Interface]()
Multi-Threaded Object-Oriented MPI-Based Message Passing Interface
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multi-Threaded Object-Oriented MPI-Based Message Passing Interface]()
Multi-Threaded Object-Oriented MPI-Based Message Passing Interface
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic of Programs]()
Temporal Logic of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in Parallel Virtual Machine and Message Passing Interface]()
Recent Advances in Parallel Virtual Machine and Message Passing Interface
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Chemometrics with R]()
Chemometrics with R
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Browning's Message to His Time]()
Browning’s Message to His Time
18,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in the Message Passing Interface]()
Recent Advances in the Message Passing Interface
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing]()
Passing
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in the Message Passing Interface]()
Recent Advances in the Message Passing Interface
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Power]()
Temporal Power
56,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic and State Systems]()
Temporal Logic and State Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Inside the Message Passing Interface]()
Inside the Message Passing Interface
104,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic]()
Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Modalities in Arabic Logic]()
Temporal Modalities in Arabic Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fault-tolerant Agreement in Synchronous Message-passing Systems]()
Fault-tolerant Agreement in Synchronous Message-passing Systems
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing By]()
Passing By
42,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Turbo Message Passing Algorithms for Structured Signal Recovery]()
Turbo Message Passing Algorithms for Structured Signal Recovery
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Messages...]()
Messages…
9,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in Parallel Virtual Machine and Message Passing Interface]()
Recent Advances in Parallel Virtual Machine and Message Passing Interface
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Space-Time Computing with Temporal Neural Networks]()
Space-Time Computing with Temporal Neural Networks
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporale Muster]()
Temporale Muster
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The ATSA Method Specifying both System & User Interface Requirements]()
The ATSA Method Specifying both System & User Interface Requirements
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Passing Regiment]()
The Passing Regiment
13,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Browning's Message to his Time]()
Browning’s Message to his Time
18,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in the Message Passing Interface]()
Recent Advances in the Message Passing Interface
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quicksand & Passing]()
Quicksand & Passing
14,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing]()
Passing
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic]()
Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Figurationen des Temporalen]()
Figurationen des Temporalen
55,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: In passing through]()
In passing through
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Drawing Time with Temporal Drawing]()
Drawing Time with Temporal Drawing
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Passing Fury]()
A Passing Fury
16,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Verification of Reactive Systems]()
Temporal Verification of Reactive Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Temporal Logic of Reactive and Concurrent Systems]()
The Temporal Logic of Reactive and Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in Parallel Virtual Machine and Message Passing Interface]()
Recent Advances in Parallel Virtual Machine and Message Passing Interface
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Safety-Critical Real-Time Systems]()
Safety-Critical Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Disorder in Human Oscillatory Systems]()
Temporal Disorder in Human Oscillatory Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Time]()
Logic and Time
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verifying Temporal Properties of Systems]()
Verifying Temporal Properties of Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quicksand and Passing]()
Quicksand and Passing
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing Glances]()
Passing Glances
32,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Information Systems in Medicine]()
Temporal Information Systems in Medicine
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Algorithms for Message-Passing Systems]()
Distributed Algorithms for Message-Passing Systems
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Message Passing Interface]()
Message Passing Interface
14,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mining Spatio-Temporal Information Systems]()
Mining Spatio-Temporal Information Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Browning's Message to His Time]()
Browning’s Message to His Time
21,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fault-Tolerant Message-Passing Distributed Systems]()
Fault-Tolerant Message-Passing Distributed Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporale Geschäftsprozessmodellierung]()
Temporale Geschäftsprozessmodellierung
64,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passings]()
Passings
35,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in the Message Passing Interface]()
Recent Advances in the Message Passing Interface
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing the USMLE]()
Passing the USMLE
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Temporal Logic]()
Advances in Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing (Netflix Tie-In)]()
Passing (Netflix Tie-In)
12,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Temporal Logic of Reactive and Concurrent Systems]()
The Temporal Logic of Reactive and Concurrent Systems
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Circumstances]()
Temporal Circumstances
93,08 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing Through Shanghai]()
Passing Through Shanghai
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic from the Chronicles Paradigm:]()
Temporal Logic from the Chronicles Paradigm:
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specifying Statistical Models]()
Specifying Statistical Models
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing the USMLE]()
Passing the USMLE
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing Away]()
Passing Away
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Verification of Reactive Systems]()
Temporal Verification of Reactive Systems
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic and State Systems]()
Temporal Logic and State Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Information Systems in Medicine]()
Temporal Information Systems in Medicine
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mining Spatio-Temporal Information Systems]()
Mining Spatio-Temporal Information Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Distributed Algorithms for Message-Passing Systems]()
Distributed Algorithms for Message-Passing Systems
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Active, Real-Time, and Temporal Database Systems]()
Active, Real-Time, and Temporal Database Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing]()
Passing
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems]()
A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
37,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in Parallel Virtual Machine and Message Passing Interface]()
Recent Advances in Parallel Virtual Machine and Message Passing Interface
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Temporal Logic]()
Advances in Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in the Message Passing Interface]()
Recent Advances in the Message Passing Interface
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone]()
Temporal Bone
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Modalities in Arabic Logic]()
Temporal Modalities in Arabic Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Messages...]()
Messages…
14,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing By]()
Passing By
22,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in Parallel Virtual Machine and Message Passing Interface]()
Recent Advances in Parallel Virtual Machine and Message Passing Interface
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in Parallel Virtual Machine and Message Passing Interface]()
Recent Advances in Parallel Virtual Machine and Message Passing Interface
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal GIS]()
Temporal GIS
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Networks]()
Temporal Networks
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing]()
Passing
11,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specifying Big Data Benchmarks]()
Specifying Big Data Benchmarks
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal, Spatial, and Spatio-Temporal Data Mining]()
Temporal, Spatial, and Spatio-Temporal Data Mining
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Power]()
Temporal Power
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone]()
Temporal Bone
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Extending Temporal Logic with Omega-automata]()
Extending Temporal Logic with Omega-automata
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in Parallel Virtual Machine and Message Passing Interface]()
Recent Advances in Parallel Virtual Machine and Message Passing Interface
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Passing Playbook]()
The Passing Playbook
13,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing Thoughts in Verse]()
Passing Thoughts in Verse
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recent Advances in Parallel Virtual Machine and Message Passing Interface]()
Recent Advances in Parallel Virtual Machine and Message Passing Interface
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic in Specification]()
Temporal Logic in Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Living with Cultivating Messages]()
Living with Cultivating Messages
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Circumstances]()
Temporal Circumstances
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing]()
Passing
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fault-Tolerant Message-Passing Distributed Systems]()
Fault-Tolerant Message-Passing Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passing Through Eden]()
Passing Through Eden
58,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Networks]()
Temporal Networks
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Passing Bells]()
The Passing Bells
15,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Order]()
Temporal Order
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Message Passing Programs' Measured Characteristics]()
Message Passing Programs‘ Measured Characteristics
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
