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

Preise von
11,28

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

Amazon 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
11,28 €
Gratis
11,28 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
11,28 €
Gratis
11,28 €
Zum Shop
Gratis Shipping Costs
Beschreibung (1)

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

Produktspezifikationen

Marken Independently Published
EAN
  • 9798188923969

Independently Published

LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

11,95 €
2 Shops vergleichen 2 Shops

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

11,94 €
2 Shops vergleichen 2 Shops

Springer

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions...

88,95 €
2 Shops vergleichen 2 Shops

Springer

Automated Theorem Proving in Software Engineering

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