Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Formal Verification
Lieferzeit: Lieferbar innerhalb 14 Tagen
106,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
Scalable Hardware Verification with Symbolic Simulation
| ISBN: | 0387244115 |
|---|---|
| ISBN 13: | 9780387244112 |
| Autor: | Bertacco, Valeria |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xx, 180 S., 40 s/w Illustr., 180 p. 40 illus. |
| Erscheinungsdatum: | 21.12.2005 |
| Auflage: | 1/2005 |
| Produktform: | Gebunden/Hardback |
| Einband: | Gebunden |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Professional Verification]()
Professional Verification
106,99 €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: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems]()
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Evaluation des Hörverstehens im Fremdsprachenunterricht. Analyse einer IQB-Aufgabe im Fach Französisch]()
Die Evaluation des Hörverstehens im Fremdsprachenunterricht. Analyse einer IQB-Aufgabe im Fach Französisch
17,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: Societal Verification]()
Societal Verification
9,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
80,24 €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: SAT-Based Scalable Formal Verification Solutions]()
SAT-Based Scalable Formal Verification Solutions
160,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: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
160,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: Anreizmöglichkeiten zur Verbesserung der Mitarbeitermotivation]()
Anreizmöglichkeiten zur Verbesserung der Mitarbeitermotivation
17,95 €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: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
53,49 €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: Tabor. Life is a Story - story.one]()
Tabor. Life is a Story – story.one
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: VERBESSERUNG DER MANAGEMENT FUNKTIONEN INNERHALB VON IMC LEASING]()
VERBESSERUNG DER MANAGEMENT FUNKTIONEN INNERHALB VON IMC LEASING
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantum Antiferromagnetism: Magnetic Order and Lattice Instabilities]()
Quantum Antiferromagnetism: Magnetic Order and Lattice Instabilities
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
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: Verification Plans]()
Verification Plans
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas]()
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Inside Stray Kids]()
Inside Stray Kids
24,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Gründung des Staates Israel]()
Die Gründung des Staates Israel
47,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verfassungsmäßigkeit einer Impfpflicht gegen das SARS-CoV-2-Virus]()
Verfassungsmäßigkeit einer Impfpflicht gegen das SARS-CoV-2-Virus
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Audiovisuelle Medien im Fremdsprachenunterricht. Ein Stundenentwurf zur Förderung von Medienkompetenz]()
Audiovisuelle Medien im Fremdsprachenunterricht. Ein Stundenentwurf zur Förderung von Medienkompetenz
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Functional Design Errors in Digital Circuits]()
Functional Design Errors in Digital Circuits
160,49 €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 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 Verification of Structurally Complex Multipliers]()
Formal Verification of Structurally Complex Multipliers
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Depressionen im Schulalltag. Präventions- und Interventionsmöglichkeiten für Lehrkräfte]()
Depressionen im Schulalltag. Präventions- und Interventionsmöglichkeiten für Lehrkräfte
15,95 €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. Specification and Verification]()
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fingerprint Verification]()
Fingerprint Verification
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Regulierung der Schattenbanken]()
Regulierung der Schattenbanken
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Functional Design Errors in Digital Circuits]()
Functional Design Errors in Digital Circuits
160,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: Complejo de viviendas]()
Complejo de viviendas
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Un'altra Italia/Italien einmal anders]()
Un’altra Italia/Italien einmal anders
13,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Change-Management: Die Rolle der Führungskraft in Veränderungsprozessen]()
Change-Management: Die Rolle der Führungskraft in Veränderungsprozessen
29,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification Plans]()
Verification Plans
171,19 €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 Hardware Verification with Symbolic Simulation]()
Scalable Hardware Verification with Symbolic Simulation
109,99 €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: Program Verification]()
Program Verification
353,09 €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: Formal Hardware Verification]()
Formal Hardware Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Grundlagen der Mitarbeitermotivation und Arbeitszufriedenheit]()
Grundlagen der Mitarbeitermotivation und Arbeitszufriedenheit
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice]()
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nur noch 8 Stunden. Life is a Story - story.one]()
Nur noch 8 Stunden. Life is a Story – story.one
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Les associations des communautés indigènes de l'Amazonie brésilienne]()
Les associations des communautés indigènes de l’Amazonie brésilienne
69,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: Satisfiability & Verification]()
Satisfiability & Verification
89,90 €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: Der Weg zum erfolgreichen Projektteam]()
Der Weg zum erfolgreichen Projektteam
19,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Auswirkungen der sozialen Ungleichheit auf die Rechtswirklichkeit von Strafe. Das Beispiel der Ersatzfreiheitsstrafe]()
Auswirkungen der sozialen Ungleichheit auf die Rechtswirklichkeit von Strafe. Das Beispiel der Ersatzfreiheitsstrafe
12,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
80,24 €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: Runtime Verification]()
Runtime Verification
53,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: Anreizgestaltung in einem Transport- und Logistikunternehmen. Erhebungen zur Mitarbeitermotivation]()
Anreizgestaltung in einem Transport- und Logistikunternehmen. Erhebungen zur Mitarbeitermotivation
17,95 €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: Interne Personalfreisetzung]()
Interne Personalfreisetzung
18,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Do I need a body to know who I am?]()
Do I need a body to know who I am?
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Gründung des Korinthischen Bundes. Philipp II.'s Intention eines gemeinsamen Friedens?]()
Die Gründung des Korinthischen Bundes. Philipp II.’s Intention eines gemeinsamen Friedens?
15,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: La spazio bianco]()
La spazio bianco
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Post-Silicon and Run-Time Verification for Modern Processors]()
Post-Silicon and Run-Time Verification for Modern Processors
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Leveraging Applications of Formal Methods, Verification, and Validation]()
Leveraging Applications of Formal Methods, Verification, and Validation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Migrant Farmworkers in 'Plastic Factories]()
Migrant Farmworkers in ‚Plastic Factories
69,54 €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: Leveraging Applications of Formal Methods, Verification and Validation]()
Leveraging Applications of Formal Methods, Verification and Validation
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ein Tribut an Selena Gomez]()
Ein Tribut an Selena Gomez
24,99 €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: Das Wortbild 'Liebe' in der Arbeit von A.L. Reshetov.]()
Das Wortbild ‚Liebe‘ in der Arbeit von A.L. Reshetov.
49,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: Program Verification]()
Program Verification
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ein ganzes, kurzes Leben. Life is a Story - story.one]()
Ein ganzes, kurzes Leben. Life is a Story – story.one
18,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: 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: Development and Formal Verification of TTCAN]()
Development and Formal Verification of TTCAN
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification of Floating-Point Hardware Design]()
Formal Verification of Floating-Point Hardware Design
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Revalorización de pueblos en peligro de desaparición]()
Revalorización de pueblos en peligro de desaparición
29,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wounded Masculinities]()
Wounded Masculinities
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Semantics and Verification Of Use Case Maps]()
Formal Semantics and Verification Of Use Case Maps
94,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Infektion mit dem Simian Immunodeficiency Virus bei Afrikanischen Grünen Meerkatzen]()
Infektion mit dem Simian Immunodeficiency Virus bei Afrikanischen Grünen Meerkatzen
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Entwicklung des automatisierten innovativen Systems Susurrus water separati]()
Entwicklung des automatisierten innovativen Systems Susurrus water separati
37,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: 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: Ein Tribut an Element of Crime]()
Ein Tribut an Element of Crime
24,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die 'Nouvelle Vague'. Eine Illustration anhand des Films 'Jules et Jim' von François Truffaut]()
Die ‚Nouvelle Vague‘. Eine Illustration anhand des Films ‚Jules et Jim‘ von François Truffaut
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Runtime Verification]()
Runtime Verification
58,84 €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: Ein Tribut an Linkin Park]()
Ein Tribut an Linkin Park
24,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: L'apprendimento psicomotorio nella DANZA]()
L’apprendimento psicomotorio nella DANZA
36,90 €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
