Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
High-Level Verification
Lieferzeit: Lieferbar innerhalb 14 Tagen
106,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
Methods and Tools for Verification of System-level Designs
| ISBN: | 1441993584 |
|---|---|
| ISBN 13: | 9781441993588 |
| Autor: | Kundu, Sudipta/Lerner, Sorin/Gupta, Rajesh K |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiii, 167 S. |
| Erscheinungsdatum: | 30.05.2011 |
| Auflage: | 1/2011 |
| Format: | 1.4 x 24.2 x 16.1 |
| Gewicht: | 423 g |
| Produktform: | Gebunden/Hardback |
| Einband: | Gebunden |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Rise Against HIV/AIDS]()
Rise Against HIV/AIDS
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: ML.NET Revealed]()
ML.NET Revealed
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A First Course on Zero-Sum Repeated Games]()
A First Course on Zero-Sum Repeated Games
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Compendium of Brassicaceae in the Indian Subcontinent]()
A Compendium of Brassicaceae in the Indian Subcontinent
35,90 €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: How to write a Dissertation? An example with its merits & demerits]()
How to write a Dissertation? An example with its merits & demerits
32,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Co-Synthesis of Hardware and Software for Digital Embedded Systems]()
Co-Synthesis of Hardware and Software for Digital Embedded Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Coordination of European Public Hospital Systems]()
The Coordination of European Public Hospital Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Les parallèles finissent toujours par se croiser]()
Les parallèles finissent toujours par se croiser
19,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Exchange Rate Forcasting For Currencies Of South Asian Countries]()
Exchange Rate Forcasting For Currencies Of South Asian Countries
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Thermosensitive Nanocarrier for Pulse Drug Release in Cancer Therapy]()
Thermosensitive Nanocarrier for Pulse Drug Release in Cancer Therapy
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: RF Energy Absorption in Plant Parts due to Cell Tower Radiation]()
RF Energy Absorption in Plant Parts due to Cell Tower Radiation
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Some aspects of Bose Einstein condensation: a theoretical study]()
Some aspects of Bose Einstein condensation: a theoretical study
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Linear And Nonlinear Waves In Nonthermal Dusty Plasmas]()
Linear And Nonlinear Waves In Nonthermal Dusty Plasmas
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Implementation and classification of anomalous detection]()
Implementation and classification of anomalous detection
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Development Of A Secured Object Oriented Model Of E-learning System]()
Development Of A Secured Object Oriented Model Of E-learning System
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Aufbau von Hotel-KPIs]()
Aufbau von Hotel-KPIs
32,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Heterogeneous Cloud Architecture]()
Heterogeneous Cloud Architecture
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Physiobiochemische Marker in der Maulbeerzüchtung]()
Physiobiochemische Marker in der Maulbeerzüchtung
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Information-sextraktion und Entitätserkennung aus juristischen Daten]()
Information-sextraktion und Entitätserkennung aus juristischen Daten
60,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Coordination of European Public Hospital Systems]()
The Coordination of European Public Hospital Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Stability, Rheology, Transport Behavior of Emulsions In Porous Media]()
Stability, Rheology, Transport Behavior of Emulsions In Porous Media
82,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Transition Metal Complex Of Redox Non-Innocent N, S Mixed-Donor Ligand]()
Transition Metal Complex Of Redox Non-Innocent N, S Mixed-Donor Ligand
94,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: PEONY: A Metaphoric Journey Through Time]()
PEONY: A Metaphoric Journey Through Time
28,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Export and Economic Growth in Sri Lanka-An Econometric Study]()
Export and Economic Growth in Sri Lanka-An Econometric Study
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Beauty of Fuzzy in Metric Spaces]()
Beauty of Fuzzy in Metric Spaces
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Green Refrigerants In Various Cooling Devices]()
Green Refrigerants In Various Cooling Devices
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification and Error Correction on High-Level Decision Diagrams]()
Verification and Error Correction on High-Level Decision Diagrams
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Pain Management]()
Pain Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Inklusion im Bildungswesen in Indien]()
Inklusion im Bildungswesen in Indien
32,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: In-vitro-Vermehrung von Arznei- und Zierpflanzen]()
In-vitro-Vermehrung von Arznei- und Zierpflanzen
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Auswirkungen des Klimawandels und der Katastrophen in den Städten Bangladeschs ermitteln]()
Auswirkungen des Klimawandels und der Katastrophen in den Städten Bangladeschs ermitteln
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bewertung von Sofortimplantaten gegenüber verzögerten Zahnimplantaten]()
Bewertung von Sofortimplantaten gegenüber verzögerten Zahnimplantaten
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: La représentation du Noir à travers l'enseignement de l'esclavage]()
La représentation du Noir à travers l’enseignement de l’esclavage
28,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vie and Win Elections]()
Vie and Win Elections
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Study of Intellectual Property Made Easy]()
Study of Intellectual Property Made Easy
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Dhaka University Ordinance 1973 and its Present reality]()
The Dhaka University Ordinance 1973 and its Present reality
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rise Against HIV/AIDS]()
Rise Against HIV/AIDS
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Introduction to Higher English Grammar]()
An Introduction to Higher English Grammar
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die ethnische Identität der Siebenbürger Rumänen]()
Die ethnische Identität der Siebenbürger Rumänen
55,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cluster Head selection schemes for wireless sensor network]()
Cluster Head selection schemes for wireless sensor network
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ampélopsis]()
Ampélopsis
15,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Magnetic Perovskites]()
Magnetic Perovskites
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cluster-Head-Auswahlverfahren für drahtlose Sensornetzwerke]()
Cluster-Head-Auswahlverfahren für drahtlose Sensornetzwerke
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Cross to Rome]()
The Cross to Rome
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Macro Economic Theory: An Econometric Approach]()
Macro Economic Theory: An Econometric Approach
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fault Tolerant Computer Architecture]()
Fault Tolerant Computer Architecture
35,30 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Rolle zivilgesellschaftlicher Organisationen im West-Pokot- und Turkana-Konflikt]()
Die Rolle zivilgesellschaftlicher Organisationen im West-Pokot- und Turkana-Konflikt
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Yoga on anthropometric and psycho-physiological variables of pupils]()
Yoga on anthropometric and psycho-physiological variables of pupils
74,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Growth and Competitiveness in Contemporary Europe]()
Growth and Competitiveness in Contemporary Europe
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Energy and exergy analyses of clean coal technology]()
Energy and exergy analyses of clean coal technology
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Balkan Mirror]()
Balkan Mirror
23,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: PFINGSTROSE: Eine metaphorische Reise durch die Zeit]()
PFINGSTROSE: Eine metaphorische Reise durch die Zeit
28,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intelligente Laute: Ein System mit eigener Ordnung]()
Intelligente Laute: Ein System mit eigener Ordnung
39,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rural Development: By the People, For the People]()
Rural Development: By the People, For the People
87,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Culture and Civilisation - An Awareness Raising Approach]()
Culture and Civilisation – An Awareness Raising Approach
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Flood Studies]()
Flood Studies
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Watershed Management in Drought Prone Areas in Kurnool District , A P]()
Watershed Management in Drought Prone Areas in Kurnool District , A P
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Informational system of management accounting and costs]()
Informational system of management accounting and costs
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Beziehung zwischen ausgewählten Blutvariablen und körperlicher Fitness]()
Beziehung zwischen ausgewählten Blutvariablen und körperlicher Fitness
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Thinking in LINQ]()
Thinking in LINQ
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multiple Choice Questions in Pain Management]()
Multiple Choice Questions in Pain Management
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mulberry Breeding Towards Waterlogging Tolerance]()
Mulberry Breeding Towards Waterlogging Tolerance
74,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nuclear Structure at High Spin]()
Nuclear Structure at High Spin
71,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: Physiobiochemical Markers in Mulberry Breeding: A Case Study]()
Physiobiochemical Markers in Mulberry Breeding: A Case Study
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Pratiques de la parodie et du pastiche au cinéma]()
Pratiques de la parodie et du pastiche au cinéma
26,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Urban Migration and Its Effects]()
Urban Migration and Its Effects
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Source Code Analytics With Roslyn and JavaScript Data Visualization]()
Source Code Analytics With Roslyn and JavaScript Data Visualization
29,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Eupatorium adenophorum: source of pest control agent]()
Eupatorium adenophorum: source of pest control agent
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Organization Design and Performance]()
Organization Design and Performance
99,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Geoscience for Petroleum Engineers]()
Geoscience for Petroleum Engineers
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Educational Inclusion in India]()
Educational Inclusion in India
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Geoscience for Petroleum Engineers]()
Geoscience for Petroleum Engineers
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Maulbeerzucht und Gewebekultur]()
Maulbeerzucht und Gewebekultur
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: FEMMES EN ARMES, UNE PLACE INTROUVABLE]()
FEMMES EN ARMES, UNE PLACE INTROUVABLE
19,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Denial of Services in MANET]()
Denial of Services in MANET
39,90 €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: Tarot für das innere Kind]()
Tarot für das innere Kind
36,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Application of RS and GIS for Morphometric and Land Resource Analysis]()
Application of RS and GIS for Morphometric and Land Resource Analysis
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wahlen bestreiten und gewinnen]()
Wahlen bestreiten und gewinnen
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: KURZE EINBLICKE IN DIE PHYCOCHEMIE]()
KURZE EINBLICKE IN DIE PHYCOCHEMIE
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: PEROVSKITE MANGANATES AND COBALTATES]()
PEROVSKITE MANGANATES AND COBALTATES
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wie bringt Bellini seine Bilder zum Weinen? Zum Forschungsstand der neurologischen Basis der Empathie und ihrem Beitrag zur kunstwissenschaftlichen Empathietheorie]()
Wie bringt Bellini seine Bilder zum Weinen? Zum Forschungsstand der neurologischen Basis der Empathie und ihrem Beitrag zur kunstwissenschaftlichen Empathietheorie
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multiple Choice Questions in Regional Anaesthesia]()
Multiple Choice Questions in Regional Anaesthesia
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: HVDC und sein Potenzial für den Aufbau des europäischen Supernetzes]()
HVDC und sein Potenzial für den Aufbau des europäischen Supernetzes
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Decoupling Points Selection in Supply Chains]()
Decoupling Points Selection in Supply Chains
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Oxygen Sensor Deoxidation Morphology Of Inclusions In Steel Melts]()
Oxygen Sensor Deoxidation Morphology Of Inclusions In Steel Melts
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Groundwater Arsenic Contamination in Chakdaha - Role of Mica Minerals]()
Groundwater Arsenic Contamination in Chakdaha – Role of Mica Minerals
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Building Hotel KPIs]()
Building Hotel KPIs
32,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: HVDC and its potential in building the European Super-Grid]()
HVDC and its potential in building the European Super-Grid
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Assessment of Immediate versus Delayed dental Implants]()
Assessment of Immediate versus Delayed dental Implants
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sustainability in Higher Education]()
Sustainability in Higher Education
48,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Preuves par récurrence avec ensembles couvrants contextuels]()
Preuves par récurrence avec ensembles couvrants contextuels
69,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Magnetic Perovskites]()
Magnetic Perovskites
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multilingual Signature Identification & Verification in Forgery Domain]()
Multilingual Signature Identification & Verification in Forgery Domain
32,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Paid Domestic Work in Urban India]()
Paid Domestic Work in Urban India
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Versöhnung und Vergöttlichung]()
Versöhnung und Vergöttlichung
39,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Characterization of Femtosecond Laser Ablation and Deposition]()
Characterization of Femtosecond Laser Ablation and Deposition
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Electron Spin Resonance of Paramagnetic Crystals]()
Electron Spin Resonance of Paramagnetic Crystals
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
