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

Prijzen vanaf
31,70

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,70

€ 31,70

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

Spark: The Definitive Guide

29,99
Meer informatie Meer info

Introduction · to Mathematical Structures and Proofs

46,99
Meer informatie Meer info

Introduction to Mathematical Structures and Proofs

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