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

Prijzen vanaf
12,87

Gesponsorde links

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)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 12,87

€ 12,87

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,78
Vergelijk 2 shops 2 shops

Interactive Theorem Proving and Program Development

105,00
Meer informatie Meer info

Interactive Theorem Proving and Program Development

125,00
Meer informatie Meer info

Interactive Theorem Proving in Software Engineering

48,40
Meer informatie Meer info
Uitgelichte Keuze
12,87
Naar shop