1. Home
  2. Medien
  3. Bücher
  4. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
  • #

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday

53.49 EUR

Teilen:
Gesponsert

Verification, Induction, Termination Analysis

SpringerLink DE
53.49 EUR
27-04-2026 22:18:10

Ähnliche Produkte

Formal Modeling and Verification of Cyber-Physical Systems

Formal Modeling and Verification of Cyber-Physical Systems

53.49 EUR
ESL Models and their Application: Electronic System Level Design and Verification in Practice

ESL Models and their Application: Electronic System Level Design and Verification in Practice

119.99 EUR
Determination and verification of possible resource savings in manual dishwashing

Determination and verification of possible resource savings in manual dishwashing

45.80 EUR
Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits

Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits

69.00 EUR
Vérification et validation formelles de modèles UML: Approches et outils

Vérification et validation formelles de modèles UML: Approches et outils

69.00 EUR
HPE MSL6480 Kartendatenbank 100 Stk. E‑LTU

HPE MSL6480 Kartendatenbank 100 Stk. E‑LTU

1929.20 EUR