1. Home
  2. Medien
  3. Bücher
  4. Wang, Chao: Abstraction Refinement for Large Scale Model Checking
  • #

Wang, Chao: Abstraction Refinement for Large Scale Model Checking

119.99 EUR

Teilen:
Gesponsert

Abstraction Refinement for Large Scale Model Checking

SpringerLink DE
119.99 EUR
22-04-2026 09:08:12
Gesponsert

Abstraction Refinement for Large Scale Model Checking, Fachbücher von Chao Wang, Gary D. Hachtel, Fabio Somenzi

Galaxus.de
119.99 EUR
21-04-2026 19:52:09

Ähnliche Produkte

Time-of-flight Electron Energy Spectrometer

Time-of-flight Electron Energy Spectrometer

55.90 EUR
Oracle Bam 11gr1 Handbook

Oracle Bam 11gr1 Handbook

42.20 EUR
A Study on the Communicative Validity of the New CET-4 Listening Test

A Study on the Communicative Validity of the New CET-4 Listening Test

39.90 EUR
Mathematical Principles of Mechanics and Electromagnetism: Part A: Analytical and Continuum Mechanics

Mathematical Principles of Mechanics and Electromagnetism: Part A: Analytical and Continuum Mechanics

53.49 EUR
Mathematical Principles of Mechanics and Electromagnetism: Part B: Electromagnetism and Gravitation (Mathematical Concepts and Methods in Science and Engineering (17), Band 17)

Mathematical Principles of Mechanics and Electromagnetism: Part B: Electromagnetism and Gravitation (Mathematical Concepts and Methods in Science and Engineering (17), Band 17)

53.49 EUR
Field Equations for Thermoelastic Bodies with Uniform Symmetry Acceleration Waves in Isotropic Thermoelastic Bodies

Field Equations for Thermoelastic Bodies with Uniform Symmetry Acceleration Waves in Isotropic Thermoelastic Bodies

53.49 EUR
Variants of Self-Organizing Maps: Applications in Image Quantization and Compression

Variants of Self-Organizing Maps: Applications in Image Quantization and Compression

49.00 EUR
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales (Synthesis Lectures on Mathematics & Statistics)

Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales (Synthesis Lectures on Mathematics & Statistics)

58.84 EUR