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

Prijzen vanaf
11,89

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Logo
11,89
Gratis
11,89
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
11,89
Gratis
11,89
Naar shop
Gratis Shipping Costs
Beschrijving (0)

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

Productspecificaties

Merk Independently Published
EAN
  • 9798194130320

Independently Published

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

12,99
Vergelijk 2 shops 2 shops

Independently Published

THEOREM PROVING and VERIFIED COMPUTING: Interactive Proof Systems Logical Reasoning Formal Development...

11,90
Vergelijk 2 shops 2 shops

Interactive Theorem Proving and Program Development

106,26
Meer informatie Meer info

Interactive Theorem Proving and Program Development

97,99
Meer informatie Meer info
Uitgelichte Keuze
11,89
Naar shop