Dafny for Reliable Software: Practical Specification, Proof, and Program Design

Priser från
423,86

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Dafny for Reliable Software: Practical Specification, Proof, and Program Design

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Sortera efter:

423,86 kr

423,86 kr

Beskrivning (0)

Dafny for Reliable Software: Practical Specification, Proof, and Program Design

Produktspecifikationer

Märke Independently Published
EAN
  • 9798161487754

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

Independently Published

Testing and Quality Assurance: Practical Strategies for Reliable Native Software

179,99 kr
Jämför 2 butiker 2 Butiker

Independently Published

Testing and Quality Assurance: Practical Strategies for Reliable Native Software

279,99 kr
Jämför 2 butiker 2 Butiker

Independently Published

AI Agent System Design: A Hands-On Guide to Building Reliable Multi-Agent Software...

527,81 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
423,86 kr
Til butik