Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Partial-Order Methods for the Verification of Concurrent Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
An Approach to the State-Explosion Problem, Lecture Notes in Computer Science 1032
| ISBN: | 3540607617 |
|---|---|
| ISBN 13: | 9783540607618 |
| Herausgeber: | Patrice Godefroid |
| Verlag: | Springer Verlag GmbH |
| Umfang: | iv, 143 S. |
| Erscheinungsdatum: | 24.01.1996 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Concurrent Reactive Plans]()
Concurrent Reactive Plans
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spectral and High Order Methods for Partial Differential Equations - ICOSAHOM 2012]()
Spectral and High Order Methods for Partial Differential Equations – ICOSAHOM 2012
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Verification]()
Leveraging Applications of Formal Methods, Verification and Validation. Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Supervisiory Control of Concurrent Systems]()
Supervisiory Control of Concurrent Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Infection in Goats]()
Concurrent Infection in Goats
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spectral and High-Order Methods for Partial Differential Equations ICOSAHOM 2023]()
Spectral and High-Order Methods for Partial Differential Equations ICOSAHOM 2023
267,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Zero-Knowledge]()
Concurrent Zero-Knowledge
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Compositional Verification of Concurrent and Real-Time Systems]()
Compositional Verification of Concurrent and Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Engineering in the 21st Century]()
Concurrent Engineering in the 21st Century
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations]()
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: New Methods of Concurrent Checking]()
New Methods of Concurrent Checking
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles]()
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Origin of Concurrent Programming]()
The Origin of Concurrent Programming
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Scientific Computing]()
Concurrent Scientific Computing
64,15 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Compositional Verification of Concurrent and Real-Time Systems]()
Compositional Verification of Concurrent and Real-Time Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spectral and High Order Methods for Partial Differential Equations]()
Spectral and High Order Methods for Partial Differential Equations
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Programming, Open Systems and Formal Methods]()
Concurrent Programming, Open Systems and Formal Methods
87,73 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014]()
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018]()
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2016]()
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2016
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Engineering in the 21st Century]()
Concurrent Engineering in the 21st Century
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Verification of Concurrent Search Structures]()
Automated Verification of Concurrent Search Structures
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Based Concurrent Computing]()
Object-Based Concurrent Computing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: On Concurrent Programming]()
On Concurrent Programming
53,49 €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: Elliptic Partial Differential Equations of Second Order]()
Elliptic Partial Differential Equations of Second Order
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Sequential and Concurrent Programs]()
Verification of Sequential and Concurrent Programs
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Partials]()
Partials
11,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014]()
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logical Analysis of Complex Concurrent Systems]()
Logical Analysis of Complex Concurrent Systems
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Scientific Computing]()
Concurrent Scientific Computing
74,85 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Prototyping of Concurrent Control Systems Implemented in FPGA Devices]()
Prototyping of Concurrent Control Systems Implemented in FPGA Devices
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Practical Concurrent Haskell]()
Practical Concurrent Haskell
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Sequential and Concurrent Programs]()
Verification of Sequential and Concurrent Programs
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ein Metadatenrepositorium zum Datenqualitätsmonitoring im Concurrent Engineering]()
Ein Metadatenrepositorium zum Datenqualitätsmonitoring im Concurrent Engineering
49,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Variational, Topological, and Partial Order Methods with Their Applications]()
Variational, Topological, and Partial Order Methods with Their Applications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles]()
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Variational, Topological, and Partial Order Methods with their Applications]()
Variational, Topological, and Partial Order Methods with their Applications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Verification Methods for Finite State Systems]()
Automatic Verification Methods for Finite State Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Computations]()
Concurrent Computations
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Simultaneous Engineering Systems]()
Concurrent Simultaneous Engineering Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Inequalities in the Lowner Partial Order]()
Inequalities in the Lowner Partial Order
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Crash-Prone Shared Memory Systems]()
Concurrent Crash-Prone Shared Memory Systems
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Partial Order in Environmental Sciences and Chemistry]()
Partial Order in Environmental Sciences and Chemistry
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics and Models of Concurrent Systems]()
Logics and Models of Concurrent Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Object-Based Models and Languages for Concurrent Systems]()
Object-Based Models and Languages for Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Methods for Partial Differential Equations]()
Methods for Partial Differential Equations
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Second order partial differential equations]()
Second order partial differential equations
45,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Partial Order Concepts in Applied Sciences]()
Partial Order Concepts in Applied Sciences
106,99 €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: Concurrent Enterprising]()
Concurrent Enterprising
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Understanding Concurrent Systems]()
Understanding Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Methods for Partial Differential Equations]()
Analytic Methods for Partial Differential Equations
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Accuracy Verification Methods]()
Accuracy Verification Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SystemVerilog for Verification]()
SystemVerilog for Verification
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Partial Order Concepts in Applied Sciences]()
Partial Order Concepts in Applied Sciences
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Zero Knowledge]()
Concurrent Zero Knowledge
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multi-indicator Systems and Modelling in Partial Order]()
Multi-indicator Systems and Modelling in Partial Order
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Reactive Systems]()
Verification of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Reactive Systems]()
Verification of Reactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multi-indicator Systems and Modelling in Partial Order]()
Multi-indicator Systems and Modelling in Partial Order
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Analysis of Concurrent Systems]()
Specification and Analysis of Concurrent Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Analysis of Concurrent Systems]()
The Analysis of Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Objects and Beyond]()
Concurrent Objects and Beyond
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Critical Systems: Formal Methods and Automated Verification]()
Critical Systems: Formal Methods and Automated Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Accuracy Verification Methods]()
Accuracy Verification Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Programming]()
Concurrent Programming
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Systems and Software Verification]()
Systems and Software Verification
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Partial Order in Environmetal Sciences and Chemistry]()
Partial Order in Environmetal Sciences and Chemistry
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics of Systems of Concurrent Processes]()
Semantics of Systems of Concurrent Processes
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spectral and High Order Methods for Partial Differential Equations - ICOSAHOM ' 12]()
Spectral and High Order Methods for Partial Differential Equations – ICOSAHOM ‚ 12
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Meshfree Methods for Partial Differential Equations]()
Meshfree Methods for Partial Differential Equations
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018]()
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Stochasticity and Partial Order]()
Stochasticity and Partial Order
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Institutionalization of Integrated Treatment for Concurrent Disorders]()
Institutionalization of Integrated Treatment for Concurrent Disorders
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Engineering]()
Concurrent Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Prototyping of Concurrent Control Systems Implemented in FPGA Devices]()
Prototyping of Concurrent Control Systems Implemented in FPGA Devices
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics of Concurrent Computation]()
Semantics of Concurrent Computation
32,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Critical Systems: Formal Methods and Automated Verification]()
Critical Systems: Formal Methods and Automated Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Programming Interviews]()
Concurrent Programming Interviews
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods for Hardware Verification]()
Formal Methods for Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Verification of Concurrent Systems]()
Specification and Verification of Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Scientific Computing]()
Concurrent Scientific Computing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Methods for Partial Differential Equations]()
Methods for Partial Differential Equations
69,54 €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: New Methods of Concurrent Checking]()
New Methods of Concurrent Checking
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Origin of Concurrent Programming]()
The Origin of Concurrent Programming
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Objects for Concurrent Constraint Programming]()
Objects for Concurrent Constraint Programming
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations]()
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: On Concurrent Programming]()
On Concurrent Programming
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Offline Handwritten Signature Verification Method]()
Offline Handwritten Signature Verification Method
35,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: Systems and Software Verification]()
Systems and Software Verification
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Understanding Concurrent Systems]()
Understanding Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Complex Systems Concurrent Engineering]()
Complex Systems Concurrent Engineering
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Concurrent Pascal Compiler for Minicomputers]()
A Concurrent Pascal Compiler for Minicomputers
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Methods for Partial Differential Equations]()
Numerical Methods for Partial Differential Equations
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spectral and High Order Methods for Partial Differential Equations]()
Spectral and High Order Methods for Partial Differential Equations
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Concurrent Embedded Software]()
Formal Verification of Concurrent Embedded Software
15,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrent Engineering]()
Concurrent Engineering
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
