Automated Theorem Proving in Software Engineering

Preise von
64,19

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

Amazon Automated Theorem Proving in Software Engineering
Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
64,19 €
3,30 €
67,49 €
Zum Shop
3,30 € Shipping Costs
Amazon Marketplace Logo
64,19 €
3,30 €
67,49 €
Zum Shop
3,30 € Shipping Costs
Beschreibung (1)

Automated Theorem Proving in Software Engineering

Produktspezifikationen

Marken Springer
EAN
  • 9783540679899

Springer

First Order Logic and Automated Theorem Proving (Texts in Computer Science)

89,90 €
2 Shops vergleichen 2 Shops

HiTeX Press

Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming

37,10 €
2 Shops vergleichen 2 Shops

Independently Published

AI Driven Software Development: From Prompt Engineering To Automated Code Generation

25,28 €
2 Shops vergleichen 2 Shops

Independently Published

AI Driven Software Development: From Prompt Engineering To Automated Code Generation

28,52 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
64,19 €
Zum Shop