Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Automatic Verification Methods for Finite State Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
International Workshop, Grenoble, France.June 12-14,1989.Proceedings, Lecture Notes in Computer Science 407
| ISBN: | 3540521488 |
|---|---|
| ISBN 13: | 9783540521488 |
| Herausgeber: | Joseph Sifakis |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xi, 384 S. |
| Erscheinungsdatum: | 10.01.1990 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![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: Automatic Noodle]()
Automatic Noodle
22,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Learning Techniques in Power Systems]()
Automatic Learning Techniques in Power Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Learning Techniques in Power Systems]()
Automatic Learning Techniques in Power Systems
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite-Elemente-Methode in der Kieferorthopädie]()
Finite-Elemente-Methode in der Kieferorthopädie
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Tools for Designing Office Information Systems]()
Automatic Tools for Designing Office Information Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite-Elemente-Methoden im Stahlbau]()
Finite-Elemente-Methoden im Stahlbau
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite-Elemente-Methoden im Stahlbau]()
Finite-Elemente-Methoden im Stahlbau
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Ladder]()
Automatic Ladder
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fractal Finite Element Method]()
Fractal Finite Element Method
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Finite Element Method]()
The Finite Element Method
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Programme zur Methode der Finiten Elemente]()
Programme zur Methode der Finiten Elemente
49,99 €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: Multiscale Finite Element Methods]()
Multiscale Finite Element Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nonlinear Finite Element Methods]()
Nonlinear Finite Element Methods
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mechatronics and Automatic Control Systems]()
Mechatronics and Automatic Control Systems
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Methode der Finiten Elemente für Ingenieure]()
Die Methode der Finiten Elemente für Ingenieure
51,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Handbook for Automatic Computation]()
Handbook for Automatic Computation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Sequences]()
Automatic Sequences
149,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Element Methods in CAD]()
Finite Element Methods in CAD
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Control Systems]()
Automatic Control Systems
106,99 €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: Mechatronics and Automatic Control Systems]()
Mechatronics and Automatic Control Systems
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite-State Methods and Natural Language Processing]()
Finite-State Methods and Natural Language Processing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite-Elemente-Methode]()
Finite-Elemente-Methode
44,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Element Method & Finite Difference Method]()
Finite Element Method & Finite Difference Method
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Handbook for Automatic Computation]()
Handbook for Automatic Computation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Imitation]()
Automatic Imitation
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Element Methods]()
Finite Element Methods
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Element Method]()
Finite Element Method
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multigrid Methods for Finite Elements]()
Multigrid Methods for Finite Elements
213,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: Automatic Complexity]()
Automatic Complexity
184,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nonlinear Finite Element Methods]()
Nonlinear Finite Element Methods
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Methode der Finiten Elemente]()
Die Methode der Finiten Elemente
31,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Elements Methods in Mechanics]()
Finite Elements Methods in Mechanics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Solid State Physics of Finite Systems]()
Solid State Physics of Finite Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Parallelization]()
Automatic Parallelization
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Element Method]()
Finite Element Method
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Element Methods in CAD]()
Finite Element Methods in CAD
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mixed Finite Element Method]()
Mixed Finite Element Method
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Stochastic Finite Element Methods]()
Stochastic Finite Element Methods
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Autonomous Systems]()
Verification of Autonomous Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Fingerprint Recognition Systems]()
Automatic Fingerprint Recognition Systems
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite-Elemente-Methode]()
Finite-Elemente-Methode
49,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite-State Text Processing]()
Finite-State Text Processing
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Volume Method]()
Finite Volume Method
155,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Imitation]()
Automatic Imitation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Elemente Methode Labor]()
Finite Elemente Methode Labor
15,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Handbook for Automatic Computation]()
Handbook for Automatic Computation
53,49 €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: Finite-Elemente-Methode in der Kieferorthopädie]()
Finite-Elemente-Methode in der Kieferorthopädie
43,90 €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: Accuracy Verification Methods]()
Accuracy Verification Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Element Method]()
Finite Element Method
155,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Fingerprint Recognition Systems]()
Automatic Fingerprint Recognition Systems
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite-State Methods and Natural Language Processing]()
Finite-State Methods and Natural Language Processing
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Methode der finiten Elemente für Ingenieure]()
Methode der finiten Elemente für Ingenieure
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Element Methods]()
Finite Element Methods
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Partial-Order Methods for the Verification of Concurrent Systems]()
Partial-Order Methods for the Verification of Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Element Method In Orthodontics]()
Finite Element Method In Orthodontics
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Parallelization]()
Automatic Parallelization
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Flight Control Systems]()
Automatic Flight Control Systems
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Control for Food Processing Systems]()
Automatic Control for Food Processing Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Methode der finiten Elemente]()
Methode der finiten Elemente
49,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Large Finite Systems]()
Large Finite Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Problems in Finite Element Methods]()
Problems in Finite Element Methods
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Methode der finiten Elemente]()
Die Methode der finiten Elemente
27,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Solid State Physics of Finite Systems]()
Solid State Physics of Finite Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spectral Finite Element Method]()
Spectral Finite Element Method
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite-Elemente-Methode]()
Finite-Elemente-Methode
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Control Systems in Biomedical Engineering]()
Automatic Control Systems in Biomedical Engineering
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Finite Element Method]()
The Finite Element Method
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Element Methods]()
Finite Element Methods
128,39 €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: Methode der finiten Elemente]()
Methode der finiten Elemente
49,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spectral Finite Element Method]()
Spectral Finite Element Method
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Speaker Verification using Artificial Neural Networks]()
Automatic Speaker Verification using Artificial Neural Networks
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Signature Verification using Segmentation]()
Automatic Signature Verification using Segmentation
22,00 €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: Scientific Computation with Automatic Result Verification]()
Scientific Computation with Automatic Result Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Differentiation]()
Automatic Differentiation
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Handbook for Automatic Computation]()
Handbook for Automatic Computation
149,79 €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: Automatic Flight Control Systems]()
Automatic Flight Control Systems
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multigrid Methods for Finite Elements]()
Multigrid Methods for Finite Elements
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nichtlineare Finite-Element-Methoden]()
Nichtlineare Finite-Element-Methoden
64,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Eine Kaffeemaschine als 'Finite State Machine']()
Eine Kaffeemaschine als ‚Finite State Machine‘
18,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Finite Element Methods]()
Finite Element Methods
85,59 €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: Finite-State Computational Morphology]()
Finite-State Computational Morphology
160,49 €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: Finite Element Methods in Dynamics]()
Finite Element Methods in Dynamics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Stochastic Finite Element Methods]()
Stochastic Finite Element Methods
96,29 €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: Finite-State Computational Morphology]()
Finite-State Computational Morphology
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Finite-Elemente-Methode auf dem PC]()
Die Finite-Elemente-Methode auf dem PC
79,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Control Systems in Biomedical Engineering]()
Automatic Control Systems in Biomedical Engineering
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Control Systems]()
Automatic Control Systems
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Irrigation Systems With SCADA]()
Automatic Irrigation Systems With SCADA
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
