Formal Verification of Control System Software: 58

Priser från
650,58

Utvalda

JäMFöR ALLA WEBBUTIKER (1)

Beskrivning

Formal Verification of Control System Software: 58

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (1)

Shop
Pris
Amazon Logga
650,58 kr
Til butik
Beskrivning (0)

Formal Verification of Control System Software: 58

Produktspecifikationer

Märke Princeton University Press
EAN
  • 9780691181301

Betascript Publishers

Verification and Validation (software): Software Project Management, Testing, Engineering, Quality Control, Compiler Correctness, Formal

326,44 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

Independently Published

MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development

130,49 kr
Jämför 2 butiker 2 Butiker

Independently Published

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably...

128,22 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
650,58 kr
Til butik