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

Priser från
552,86

Utvalda

JäMFöR ALLA WEBBUTIKER (1)

Beskrivning

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

Jämför webbutiker (1)

Shop
Pris
Amazon Logga
552,86 kr
Til butik
Beskrivning (1)

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

Produktspecifikationer

Märke Springer
EAN
  • 9783031556104

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

590,03 kr
Jämför 2 butiker 2 Butiker

Wiley

Estimation with Applications to Tracking and Navigation: Theory Algorithms Software

1.851,00 kr
Jämför 2 butiker 2 Butiker

Independently Published

Core C++ Programming: From Beginner to Software Developer with AI Integration

97,69 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
552,86 kr
Til butik