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

Priser från
130,49

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

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

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
130,49 kr
Til butik
Amazon Marketplace Logga
130,49 kr
Til butik
Beskrivning (0)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798194130320

Independently Published

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

142,07 kr
Jämför 2 butiker 2 Butiker

Springer

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

1.007,84 kr
Jämför 2 butiker 2 Butiker

Independently Published

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

126,78 kr
Jämför 2 butiker 2 Butiker

Princeton University Press

Formal Verification of Control System Software: 58

650,58 kr
Mer information Mer info
Utvalt Val
130,49 kr
Til butik