The Verification of MDG Algorithms in the HOL Theorem Prover | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. The Verification of MDG Algorithms in the HOL Theorem Prover
  • #
  • #

The Verification of MDG Algorithms in the HOL Theorem Prover

59.00 EUR

Teilen:

Ähnliche Produkte

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

48.31 EUR
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

36.43 EUR
Santos Jr., Carlos Denner dos: From the Characteristics of Open Source Software Projects to Success

Santos Jr., Carlos Denner dos: From the Characteristics of Open Source Software Projects to Success

49.00 EUR
Metaphysical Dilemmas in Ayer's Version of the Verification Principle: A Critique

Metaphysical Dilemmas in Ayer's Version of the Verification Principle: A Critique

49.00 EUR
The verification of the pluvio-thermal regionalizations of the climate

The verification of the pluvio-thermal regionalizations of the climate

35.74 EUR
Practical methods of verification of heating costs

Practical methods of verification of heating costs

39.90 EUR