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

Prijzen vanaf
12,99

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

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

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

Productspecificaties

Merk Independently Published
EAN
  • 9798188923969

Independently Published

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

11,89
Vergelijk 2 shops 2 shops

Interactive Theorem Proving and Program Development

125,00
Meer informatie Meer info

Interactive Theorem Proving and Program Development

99,99
Meer informatie Meer info

Interactive Theorem Proving in Software Engineering

47,58
Meer informatie Meer info
Uitgelichte Keuze
12,99
Naar shop