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

Priser från
354,08

Utvalda

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)

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

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

126,78 kr
Jämför 2 butiker 2 Butiker

Cambridge University Press

Proofs and Refutations: The Logic of Mathematical Discovery

267,00 kr
Jämför 2 butiker 2 Butiker

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
Utvalt Val
354,08 kr
Til butik