Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs

Prijzen vanaf
31,41

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Sorteren op:

€ 31,41

€ 31,41

Beschrijving (0)

Ada 2022 and SPARK: The Definitive Guide to Formal Verification Mathematical Proofs

Productspecificaties

Merk Independently Published
EAN
  • 9798175450287

Independently Published

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and...

12,70
Vergelijk 2 shops 2 shops

O'Reilly Media

Spark The Definitive Guide

53,94
Vergelijk 3 shops 3 shops

Spark: The Definitive Guide

29,99
Meer informatie Meer info

Introduction to Mathematical Structures and Proofs

50,99
Meer informatie Meer info
Uitgelichte Keuze
31,41
Naar shop