Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Modeling and Verification of Parallel Processes
Lieferzeit: Lieferbar innerhalb 14 Tagen
45,96 €
inkl. 7 % MwSt. zzgl. Versandkosten
4th Summer School, MOVEP 2000, Nantes, France, June 19-23,2000.Revised Tutorial Lectures, Lecture Notes in Computer Science 2067
| ISBN: | 3540427872 |
|---|---|
| ISBN 13: | 9783540427872 |
| Herausgeber: | Franck Cassez/Claude Jard/Brigitte Rozoy et al |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 234 S. |
| Erscheinungsdatum: | 24.10.2001 |
| Format: | 1.5 x 23.5 x 15.5 |
| Gewicht: | 378 g |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Offline Signature Verification]()
Offline Signature Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification by Error Modeling]()
Verification by Error Modeling
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification]()
Software Verification
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Verification]()
Computer-Aided Verification
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fingerprint Verification]()
Fingerprint Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A CUDA based Parallel Implementation of Speaker Verification System]()
A CUDA based Parallel Implementation of Speaker Verification System
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification Plans]()
Verification Plans
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Modeling]()
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Verification]()
Program Verification
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification Methodology Manual]()
Verification Methodology Manual
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Effective Functional Verification]()
Effective Functional Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Calculus of Distributed and Parallel Processes]()
A Calculus of Distributed and Parallel Processes
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Power Grid Verification]()
Power Grid Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Standardized Functional Verification]()
Standardized Functional Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Formal Verification]()
Advanced Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Facial Kinship Verification]()
Facial Kinship Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,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: Stiffness Modeling of Parallel Robots]()
Stiffness Modeling of Parallel Robots
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Verification Techniques]()
Advanced Verification Techniques
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Hardware Verification]()
Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Modeling and Verification of Cyber-Physical Systems]()
Formal Modeling and Verification of Cyber-Physical Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: BUSINESS PROCESSES MODELING]()
BUSINESS PROCESSES MODELING
32,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parallel Evolution of Parallel Processors]()
Parallel Evolution of Parallel Processors
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 4D Image Verification]()
4D Image Verification
47,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: AI Verification]()
AI Verification
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Standardized Functional Verification]()
Standardized Functional Verification
129,98 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification Plans]()
Verification Plans
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dynamic Process Modeling]()
Dynamic Process Modeling
185,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modular Compiler Verification]()
Modular Compiler Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Professional Verification]()
Professional Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Constraint-Based Verification]()
Constraint-Based Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Verification]()
Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Software Verification]()
Numerical Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Process Modeling]()
Software Process Modeling
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Verification of Sequential Infinite-State Processes]()
Automatic Verification of Sequential Infinite-State Processes
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerical Software Verification]()
Numerical Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Satisfiability & Verification]()
Satisfiability & Verification
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal System Verification]()
Formal System Verification
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parallel Processing and Parallel Algorithms]()
Parallel Processing and Parallel Algorithms
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modeling of Volcanic Processes]()
Modeling of Volcanic Processes
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Timing Verification in Transaction Modeling]()
Timing Verification in Transaction Modeling
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Formal Verification]()
Advanced Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Verification]()
Program Verification
353,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer-Aided Verification]()
Computer-Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Societal Verification]()
Societal Verification
9,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: High-Level Verification]()
High-Level Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten]()
Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Process Modeling]()
Software Process Modeling
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: AI Verification]()
AI Verification
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: parallel]()
parallel
28,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Process Algebra and Probabilistic Methods: Performance Modeling and Verification]()
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification]()
Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Contraint-Based Verification]()
Contraint-Based Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Universal Verification Methodology Based Verification Environment]()
Universal Verification Methodology Based Verification Environment
36,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Verification Techniques]()
Advanced Verification Techniques
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification by Error Modeling]()
Verification by Error Modeling
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: parallel]()
parallel
20,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theological Hermeneutics and Mary Daly's verification process]()
Theological Hermeneutics and Mary Daly’s verification process
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parallel]()
Parallel
29,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Verification]()
Computer Aided Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
