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

Priser från
140,58

Sponsrade länkar

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

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

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:

140,58 kr

140,58 kr

Beskrivning (0)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798194156603

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 SPECIFICATION and Systems ENGINEERING: Requirements Modeling Behavioral Verification Architecture Analysis Engineering of Dependable

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

Independently Published

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

423,86 kr
Jämför 2 butiker 2 Butiker

Independently Published

Formal Methods in Software Engineering

290,78 kr
Mer information Mer info
Utvalt Val
140,58 kr
Til butik