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

Priser från
126,78

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development
Description Beskrivning
Product Specifications Produktspecifikationer
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
126,78 kr
Til butik
Amazon Marketplace Logga
126,78 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Independently Published
EAN
  • 9798243353243

Priser uppdaterades senast:

Springer

Concise Guide to Software Verification: From Model Checking Annotation

1.085,98 kr
Mer information Mer info

Majosta

Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

403,12 kr
Jämför 2 butiker 2 Butiker

Independently Published

LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

129,46 kr
Jämför 2 butiker 2 Butiker

Independently Published

ATS programming FOR VERIFIED SOFTWARE DEVELOPMENT: Mathematically proven correctness and type safety in systems

127,69 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
126,78 kr
Til butik