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

Priser från
354,08

Sponsrade länkar

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

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

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Sponsrade länkar · Vissa butiker betalar oss en ersättning

Sortera efter:

354,08 kr

354,08 kr

Beskrivning (0)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798175450287

Independently Published

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

140,58 kr
Jämför 2 butiker 2 Butiker

Isabelle Vladoiu

The Protocol Library: Definitive Guide to Titles, Honorifics, and Formal Etiquette

624,40 kr
Mer information Mer info

Independently Published

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

140,58 kr
Jämför 2 butiker 2 Butiker

Cambridge University Press

Proofs and Refutations: The Logic of Mathematical Discovery

277,00 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
354,08 kr
Til butik