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

Priser från
130,49

Sponsrade länkar

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)

Sponsrade länkar · Vissa butiker betalar oss en ersättning

Sortera efter:

130,49 kr

130,49 kr

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

Princeton University Press

Formal Verification of Control System Software: 58

750,27 kr
Mer information Mer info

Leading Lean Software Development

492,00 kr
Mer information Mer info
Utvalt Val
130,49 kr
Til butik