Wang, Chao: Abstraction Refinement for Large Scale Model Checking

Wo zu kaufen (2) Eigenschaften
Gesponsert
Abstraction Refinement for Large Scale Model Checking, Fachbücher von Chao Wang, Gary D. Hachtel, Fabio Somenzi
Galaxus.de
119.99 EUR
Preis aktualisiert am: 26-06-2026 18:32:34
Siehe Produktangebot
Gesponsert
Abstraction Refinement for Large Scale Model Checking
SpringerLink DE
132.50 EUR
Preis aktualisiert am: 20-06-2026 04:08:50
Siehe Produktangebot

Allgemein

ISBN
1489993959
MPN
biography

Eigenschaften

Ähnliche Produkte

The Joy of Abstraction
The Joy of Abstraction
Produkt anzeigen
Visual Thinking: The Hidden Gifts of People Who Think in Pictures, Patterns and Abstractions
Visual Thinking: The Hidden Gifts of People Who Think in Pictures, Patterns and Abstractions
Produkt anzeigen
Differential and Complex Geometry: Origins, Abstractions and Embeddings
Differential and Complex Geometry: Origins, Abstractions and Embeddings
Produkt anzeigen
Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware
Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware
Produkt anzeigen
Computational Visualization: Graphics, Abstraction and Interactivity
Computational Visualization: Graphics, Abstraction and Interactivity
Produkt anzeigen
Woven Histories: Textiles and Modern Abstraction
Woven Histories: Textiles and Modern Abstraction
Produkt anzeigen
Menü