The Verification of MDG Algorithms in the HOL Theorem Prover

The Verification
Wo zu kaufen (2) Eigenschaften
Gesponsert
The Verification of MDG Algorithms in the HOL Theorem Prover
Medimops DE
54.54 EUR
Preis aktualisiert am: 09-11-2026 16:30:15
Siehe Produktangebot
Gesponsert
The Verification of MDG Algorithms in the HOL Theorem Prover
Hugendubel
58.99 EUR
Preis aktualisiert am: 10-11-2026 17:54:43
Siehe Produktangebot

Allgemein

Marke
LAP Lambert Academic Publishing

Eigenschaften

Ähnliche Produkte

Metaphysical Dilemmas in Ayer's Version of the Verification Principle: A Critique
Metaphysical Dilemmas in Ayer's Version of the Verification Principle: A Critique
Aus47.74 EUR 3
Produkt anzeigen
From the Characteristics of Open Source Software Projects to Success: An Empirical Verification of a Causal Path to Software Quality
From the Characteristics of Open Source Software Projects to Success: An Empirical Verification of a Causal Path to Software Quality
Aus48.34 EUR 3
Produkt anzeigen
VEasy: a Tool Suite for Teaching Functional Verification: Teaching the principles of Functional Verification in an intuitive way
VEasy: a Tool Suite for Teaching Functional Verification: Teaching the principles of Functional Verification in an intuitive way
Aus196.00 EUR 2
Produkt anzeigen
The verification of the pluvio-thermal regionalizations of the climate
The verification of the pluvio-thermal regionalizations of the climate
Aus35.90 EUR 2
Produkt anzeigen
Telling the Truth: An Ethical Exploration of Verification and Falsification in Pulpit Storytelling
Telling the Truth: An Ethical Exploration of Verification and Falsification in Pulpit Storytelling
Aus43.98 EUR 2
Produkt anzeigen
Practical methods of verification of heating costs
Practical methods of verification of heating costs
Aus39.99 EUR 1
Produkt anzeigen
Menü