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

Prezzi da
30,82

In evidenza

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

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

Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (2)

Ordina per:

30,82 €

30,82 €

Descrizione (0)

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

Specifiche del prodotto

Marchio Independently Published
EAN
  • 9798175450287

Independently Published

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

12,46 €
Confronta 2 negozi 2 negozi

Academic Press

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs (English Edition)

20,38 €
Confronta 2 negozi 2 negozi

O'Reilly Media

Spark The Definitive Guide

63,50 €
Confronta 2 negozi 2 negozi

Independently Published

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

12,46 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
30,82 €
Vai allo shop