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

Priser från
129,46

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation
Description Beskrivning
Product Specifications Produktspecifikationer
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
129,46 kr
Til butik
Amazon Marketplace Logga
129,46 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798271573743

Priser uppdaterades senast:

Independently Published

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably...

128,22 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

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

Cambridge University Press

Proof Theory and Logic Programming: Computation as Search

776,16 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
129,46 kr
Til butik