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

Priser från
123,49

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development
Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
123,49 kr
Til butik
Amazon Marketplace Logga
123,49 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798188923969

Independently Published

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

129,46 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

ATS programming FOR VERIFIED SOFTWARE DEVELOPMENT: Mathematically proven correctness and type safety in systems

127,69 kr
Jämför 2 butiker 2 Butiker

Springer

Rigorous Software Development: An Introduction to Program Verification

646,26 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
123,49 kr
Til butik