Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Scalable Techniques for Formal Verification
Lieferzeit: Lieferbar innerhalb 14 Tagen
106,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
| ISBN: | 1441959971 |
|---|---|
| ISBN 13: | 9781441959973 |
| Autor: | Ray, Sandip |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiv, 243 S. |
| Erscheinungsdatum: | 25.05.2010 |
| Auflage: | 1/2010 |
| Produktform: | Gebunden/Hardback |
| Einband: | Gebunden |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Formal System Verification]()
Formal System Verification
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Topics in Exponential Spaces]()
Topics in Exponential Spaces
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wettbewerbsrecht in Indien und seinen Nachbarländern]()
Wettbewerbsrecht in Indien und seinen Nachbarländern
48,90 €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: Biological Chemistry]()
Biological Chemistry
35,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: Formal Techniques for Distributed Systems]()
Formal Techniques for Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ultra High Density Planting system in Mango]()
Ultra High Density Planting system in Mango
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Synthesis of some heterocyclic compounds by advanced techniques]()
Synthesis of some heterocyclic compounds by advanced techniques
69,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Systems]()
Formal Techniques for Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Corona Viruserkrankungen bei Vieh und Geflügel]()
Corona Viruserkrankungen bei Vieh und Geflügel
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Enterprise Systems]()
Scalable Enterprise Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques and Protocol Specification, Testing and Verification]()
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Techniques for Distributed Systems]()
Formal Techniques for Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Symbolic Simulation Methods for Industrial Formal Verification]()
Symbolic Simulation Methods for Industrial Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Phytopharmakologische Studien über die Beeren von Solanum indicum]()
Phytopharmakologische Studien über die Beeren von Solanum indicum
43,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques and Protocol Specification, Testing and Verification]()
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques and Protocol Specification, Testing and Verification]()
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Techniques for Formal Verification]()
Scalable Techniques for Formal Verification
119,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Disruptors]()
Scalable Disruptors
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Liquisolid technique]()
Liquisolid technique
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Electronics Waste Management: An India Perspective]()
Electronics Waste Management: An India Perspective
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Biologische Chemie]()
Biologische Chemie
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Disruptors]()
Scalable Disruptors
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bacterial blight of rice-reaction, screening & evaluation of genes]()
Bacterial blight of rice-reaction, screening & evaluation of genes
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: BotNet: Detection and Defense]()
BotNet: Detection and Defense
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Seismic Performance Study of a Historic Steel Elevated Reservoir]()
A Seismic Performance Study of a Historic Steel Elevated Reservoir
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification]()
Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Embedding Sequential Circuits for their Polynomial Formal Verification]()
Embedding Sequential Circuits for their Polynomial Formal Verification
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Uncertainty Management]()
Scalable Uncertainty Management
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Circuits]()
Formal Verification of Circuits
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Structurally Complex Multipliers]()
Formal Verification of Structurally Complex Multipliers
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Formal Hardware Verification]()
Introduction to Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Structurally Complex Multipliers]()
Formal Verification of Structurally Complex Multipliers
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Roadmap for Formal Property Verification]()
A Roadmap for Formal Property Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Information Systems]()
Scalable Information Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: BotNet: Erkennung und Abwehr]()
BotNet: Erkennung und Abwehr
35,90 €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 Techniques for Distributed Systems]()
Formal Techniques for Distributed Systems
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: Introduction to Formal Hardware Verification]()
Introduction to Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Development and Formal Verification of TTCAN]()
Development and Formal Verification of TTCAN
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Symbolic Simulation Methods for Industrial Formal Verification]()
Symbolic Simulation Methods for Industrial Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modern Cryptography]()
Modern Cryptography
59,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence Techniques for a Scalable Energy Transition]()
Artificial Intelligence Techniques for a Scalable Energy Transition
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Simulink/Stateflow Diagrams]()
Formal Verification of Simulink/Stateflow Diagrams
123,04 €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: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications]()
Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,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: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Artificial Intelligence Techniques for a Scalable Energy Transition]()
Artificial Intelligence Techniques for a Scalable Energy Transition
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Object-Oriented Software]()
Formal Verification of Object-Oriented Software
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Adolescents and Youth Health in India]()
Adolescents and Youth Health in India
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: BWTBOAT - Shared solution for shipping to comply IMO BWM CONVENTION]()
BWTBOAT – Shared solution for shipping to comply IMO BWM CONVENTION
45,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Roadmap for Formal Property Verification]()
A Roadmap for Formal Property Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Netzwerkprotokoll-Analysator und -Übungsprogramm]()
Netzwerkprotokoll-Analysator und -Übungsprogramm
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Development of Integrated Renewable Energy System]()
Development of Integrated Renewable Energy System
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Drittverwalter und Markenbildung]()
Drittverwalter und Markenbildung
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wind Turbine Aerodynamics]()
Wind Turbine Aerodynamics
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Third Party Administrators and Brand Building]()
Third Party Administrators and Brand Building
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spirituality in Performance]()
Spirituality in Performance
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Uncertainty Management]()
Scalable Uncertainty Management
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: Formal Verification of Communication Protocols for Wireless Networks]()
Formal Verification of Communication Protocols for Wireless Networks
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Circuits]()
Formal Verification of Circuits
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Enterprise Systems]()
Scalable Enterprise Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Description Techniques and Protocol Specification, Testing and Verification]()
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Lidar and Radiometer Sounding of Atmospheric Aerosols and Trace Gases]()
Lidar and Radiometer Sounding of Atmospheric Aerosols and Trace Gases
23,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: PRAKTISCHE PHARMAZEUTISCHE ANALYSE]()
PRAKTISCHE PHARMAZEUTISCHE ANALYSE
43,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Hardware Verification with Symbolic Simulation]()
Scalable Hardware Verification with Symbolic Simulation
109,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,49 €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: Einheitliche Erkennung und Reporterstellung mit Gesichtserkennungsfunktion]()
Einheitliche Erkennung und Reporterstellung mit Gesichtserkennungsfunktion
39,90 €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: SAT-Based Scalable Formal Verification Solutions]()
SAT-Based Scalable Formal Verification Solutions
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification Of FDIR in Smart Grid]()
Formal Verification Of FDIR in Smart Grid
55,90 €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: Competition Law in India and Its Neighbouring Jurisdiction]()
Competition Law in India and Its Neighbouring Jurisdiction
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Knowledge, Attitude, Stigma And Pathway to care in Epilepsy]()
Knowledge, Attitude, Stigma And Pathway to care in Epilepsy
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Feldprogrammierbare Gate-Array-basierte Farbtransformation]()
Feldprogrammierbare Gate-Array-basierte Farbtransformation
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques]()
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
106,99 €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: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Polynomial Formal Verification of Approximate Functions]()
Polynomial Formal Verification of Approximate Functions
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Uncertainty Management]()
Scalable Uncertainty Management
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Bit-precise Formal Verification of Embedded Software]()
Scalable Bit-precise Formal Verification of Embedded Software
45,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verbesserung der Oberflächengüte beim Bohren mit passiven Dämpfern]()
Verbesserung der Oberflächengüte beim Bohren mit passiven Dämpfern
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Foot and Mouth Disease Host resistance in Livestock]()
Foot and Mouth Disease Host resistance in Livestock
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Information Systems]()
Scalable Information Systems
42,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Simulink/Stateflow Diagrams]()
Formal Verification of Simulink/Stateflow Diagrams
123,04 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SAT-Based Scalable Formal Verification Solutions]()
SAT-Based Scalable Formal Verification Solutions
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
