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

Preise von
12,99

Gesponserte Links

ALLE WEBSHOPS VERGLEICHEN (1)

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 (1)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

12,99 €

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 €
Weitere Informationen Mehr Infos

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