Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
SAT-Based Scalable Formal Verification Solutions
Lieferzeit: Lieferbar innerhalb 14 Tagen
160,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Integrated Circuits and Systems
| ISBN: | 0387691669 |
|---|---|
| ISBN 13: | 9780387691664 |
| Autor: | Ganai, Malay/Gupta, Aarti |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xxx, 330 S., 118 s/w Illustr., 330 p. 118 illus. |
| Erscheinungsdatum: | 22.05.2007 |
| Auflage: | 1/2007 |
| Produktform: | Gebunden/Hardback |
| Einband: | Gebunden |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Physical Anthropology in Dentistry]()
Physical Anthropology in Dentistry
54,90 €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: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,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: 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: Building Scalable Web Services Solution]()
Building Scalable Web Services Solution
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Unsere Umwelt und die Chemie]()
Unsere Umwelt und die Chemie
39,90 €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: The Figure of the Animal in Modern and Contemporary Poetry]()
The Figure of the Animal in Modern and Contemporary Poetry
96,29 €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: Formal Hardware Verification]()
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: Eigenschaften von Verbundwerkstoffen]()
Eigenschaften von Verbundwerkstoffen
43,90 €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: Personality Dispositions of Participants and Non-participant adolescents with reference to some major physical activities]()
Personality Dispositions of Participants and Non-participant adolescents with reference to some major physical activities
47,95 €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: Taxonomische Untersuchung der Unterfamilie Tortricinae (Lepidoptera: Tortricidae)]()
Taxonomische Untersuchung der Unterfamilie Tortricinae (Lepidoptera: Tortricidae)
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: Mückenfalle mit Mückenvernichter: Gerät zur Mückenbekämpfung]()
Mückenfalle mit Mückenvernichter: Gerät zur Mückenbekämpfung
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: Manuelle Müllabfuhr: Mängel und Herausforderungen]()
Manuelle Müllabfuhr: Mängel und Herausforderungen
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Pharmaceutics Practical Manual for Pharmacy Students]()
Pharmaceutics Practical Manual for Pharmacy Students
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Water Hammer Damage To An Irrigation Cum Water Conducting System]()
Water Hammer Damage To An Irrigation Cum Water Conducting System
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Effect of Planting Geometry & Nitrogen Levels on Sweet Corn Production]()
Effect of Planting Geometry & Nitrogen Levels on Sweet Corn Production
64,90 €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: Advanced Formal Verification]()
Advanced Formal Verification
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: Scalable Techniques for Formal Verification]()
Scalable Techniques for Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kashmiri and Kohistani A Word Class Comparison]()
Kashmiri and Kohistani A Word Class Comparison
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Economics of Regional Transport Infrastructure in Asia]()
Economics of Regional Transport Infrastructure in Asia
49,00 €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: Einführung in die Menschenrechte und Pflichten]()
Einführung in die Menschenrechte und Pflichten
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Grundlagen der Lebensmittelwissenschaft]()
Grundlagen der Lebensmittelwissenschaft
55,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: Polynomial Formal Verification of Approximate Functions]()
Polynomial Formal Verification of Approximate Functions
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Introduction to Kinship Verification]()
An Introduction to Kinship Verification
28,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: TOBACCO AND ITS EFFECTS ON ORAL HEALTH]()
TOBACCO AND ITS EFFECTS ON ORAL HEALTH
82,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: Formal Verification of Concurrent Embedded Software]()
Formal Verification of Concurrent Embedded Software
15,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: Formal Verification]()
Formal Verification
106,99 €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: Formal Verification of Circuits]()
Formal Verification of Circuits
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Menschenrechte und Menschenhandel]()
Menschenrechte und Menschenhandel
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 Methods for Hardware Verification]()
Formal Methods for Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Human Rights and Human Trafficking]()
Human Rights and Human Trafficking
35,90 €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: Shell Model Study of sd Shell Nuclei]()
Shell Model Study of sd Shell Nuclei
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mosquito Trap-cum Killer: Device to Control of Mosquitoes]()
Mosquito Trap-cum Killer: Device to Control of Mosquitoes
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Personality Dispositions of Participants & Non Participant Adolescents]()
Personality Dispositions of Participants & Non Participant Adolescents
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ruby Recipes]()
Ruby Recipes
29,95 €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: Scalable Information Systems]()
Scalable Information Systems
53,49 €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: 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: Scalable Uncertainty Management]()
Scalable Uncertainty Management
53,49 €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: Histone Deacetylase Inhibitors in Combinatorial Anticancer Therapy]()
Histone Deacetylase Inhibitors in Combinatorial Anticancer Therapy
160,49 €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: Histone Deacetylase Inhibitors Epidrugs for Neurological Disorders]()
Histone Deacetylase Inhibitors Epidrugs for Neurological Disorders
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Era of Phytomedicines]()
The Era of Phytomedicines
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: Formal Verification of Circuits]()
Formal Verification of Circuits
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Was man sät]()
Was man sät
11,00 €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: A Roadmap for Formal Property Verification]()
A Roadmap for Formal Property Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SAT 2005]()
SAT 2005
160,49 €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 Techniques for Formal Verification]()
Scalable Techniques for Formal Verification
119,99 €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: Economic Liberalization in India: Challenges ahead]()
Economic Liberalization in India: Challenges ahead
45,90 €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: 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]()
Leveraging Applications of Formal Methods, Verification and Validation. Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: World of Lectins]()
World of Lectins
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: The Figure of the Animal in Modern and Contemporary Poetry]()
The Figure of the Animal in Modern and Contemporary Poetry
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Pharmazie Praktisches Handbuch für Pharmaziestudenten]()
Pharmazie Praktisches Handbuch für Pharmaziestudenten
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sat - Boc]()
Sat – Boc
139,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Basics of Food as Science]()
Basics of Food as Science
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Histone Deacetylase Inhibitors Epidrugs for Neurological Disorders]()
Histone Deacetylase Inhibitors Epidrugs for Neurological Disorders
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: International and National perspective of Sexual Harassment at Work]()
International and National perspective of Sexual Harassment at Work
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Manual Scavenging :Shortcomings and Challenges]()
Manual Scavenging :Shortcomings and Challenges
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: SAT-Based Scalable Formal Verification Solutions]()
SAT-Based Scalable Formal Verification Solutions
117,69 €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: KONTROVERSEN IM BÜRO FÜR LANDMANAGEMENT]()
KONTROVERSEN IM BÜRO FÜR LANDMANAGEMENT
50,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Histone Deacetylase Inhibitors in Combinatorial Anticancer Therapy]()
Histone Deacetylase Inhibitors in Combinatorial Anticancer Therapy
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Internationale und nationale Perspektive der sexuellen Belästigung am Arbeitsplatz]()
Internationale und nationale Perspektive der sexuellen Belästigung am Arbeitsplatz
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Taxonomic study of subfamily-Tortricinae (Lepidoptera: Tortricidae)]()
Taxonomic study of subfamily-Tortricinae (Lepidoptera: Tortricidae)
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Reliable and Scalable Multicast Model RSM2]()
A Reliable and Scalable Multicast Model RSM2
42,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Our Environment And Chemistry]()
Our Environment And Chemistry
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Ära der Phytomedikamente]()
Die Ära der Phytomedikamente
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Einfluss von Zwiebelgröße und -abstand auf die Produktion von Qualitätssaatgut von Zwiebeln]()
Einfluss von Zwiebelgröße und -abstand auf die Produktion von Qualitätssaatgut von Zwiebeln
55,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: Introduction to Human Rights and Duties]()
Introduction to Human Rights and Duties
49,90 €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: NGOs and Social Rehabilitation]()
NGOs and Social Rehabilitation
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Welt der Lektine]()
Die Welt der Lektine
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
