Guide to Software Verification with Frama C: Core Components, Usages, and Applications

Priser från
939,92

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Description Beskrivning
Product Specifications Produktspecifikationer
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
939,92 kr
Til butik
Amazon Marketplace Logga
939,92 kr
Til butik
Beskrivning (1)

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Produktspecifikationer

Märke Springer
EAN
  • 9783031556074

Priser uppdaterades senast:

Independently Published

C# and .NET Core Development: A Practical Guide to Building Cross Platform...

197,28 kr
Jämför 2 butiker 2 Butiker

Springer

Concise Guide to Software Verification: From Model Checking Annotation

1.085,98 kr
Mer information Mer info

Independently Published

Fundamentals of Electronics with Practical Applications & Components: Components

97,62 kr
Jämför 2 butiker 2 Butiker

Springer

The Calculus of Computation: Decision Procedures with Applications to Verification

475,95 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
939,92 kr
Til butik