Independently Published

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

1/1

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

Preise von

11,89

Gesponserte Links

	11,89 €	Zum Shop
ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

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

Webshops vergleichen (1)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

11,89 € Gratis Versand

Beschreibung (0)

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

Produktspezifikationen

Marken	Independently Published
EAN	9798194130320

Independently Published

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically...

Weitere Informationen Mehr Infos

Springer, Springer

Interactive Theorem Proving and Program Development Yves Bertot

Weitere Informationen Mehr Infos

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

Weitere Informationen Mehr Infos

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

Weitere Informationen Mehr Infos

Hervorgehobene Wahl

11,89 €

Zum Shop