1. Home
  2. Medien
  3. Bücher
  4. Isabelle: A Generic Theorem Prover
  • #
  • #

Isabelle: A Generic Theorem Prover

53.49 EUR 53.24 EUR 0% Off

Teilen:
Gesponsert

Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)

Medimops DE
53.24 EUR
23-04-2026 07:48:13
Gesponsert

Isabelle

SpringerLink DE
53.49 EUR
22-04-2026 22:04:19

Ähnliche Produkte

Gravity: A Rockstar Wedding (Gravity Reihe)

7.49 EUR
Design Thinking Schnellstart, Isabell Osann

Design Thinking Schnellstart, Isabell Osann

18.87 EUR
A Year and a Day

A Year and a Day

3.99 EUR
L’État social actif: Vers un changement de paradigme ?

L’État social actif: Vers un changement de paradigme ?

55.95 EUR
How and Why Do Policies Change?: A Comparison of Renewable Electricity Policies in Belgium, Denmark, Germany, the Netherlands and the UK

How and Why Do Policies Change?: A Comparison of Renewable Electricity Policies in Belgium, Denmark, Germany, the Netherlands and the UK

49.95 EUR
Solid waste produced by a micro-enterprise in the city of Manaus

Solid waste produced by a micro-enterprise in the city of Manaus

35.90 EUR
Im Wartezimmer. Life is a Story

Im Wartezimmer. Life is a Story - story.one

18.00 EUR
Learning Songs with Colors: Lunar New Year

Learning Songs with Colors: Lunar New Year - Bilingual Singable Book in Traditional Chinese, English, and Pinyin

25.03 EUR