LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development

Preise von
12,99

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
12,99 €
Gratis
12,99 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
12,99 €
Gratis
12,99 €
Zum Shop
Gratis Shipping Costs
Beschreibung (0)

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development

Produktspezifikationen

Marken Independently Published
EAN
  • 9798188923969

Independently Published

MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development

11,89 €
2 Shops vergleichen 2 Shops

Springer, Springer

Interactive Theorem Proving and Program Development Yves Bertot

128,39 €
Weitere Informationen Mehr Infos

Yves Bertot (u. a.) Interactive Theorem Proving and Program Development Buch

84,95 €
Weitere Informationen Mehr Infos

Interactive Theorem Proving and Program Development Yves Bertot (u. a.) Buch xxv

86,90 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
12,99 €
Zum Shop