Formale Überprüfung der Just-in-Time-Zusammenstellung von Aur?le Barri?re Taschenbuch Boo
78,39 €
These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. This complexity can be a source of bugs and vulnerabilities. Such challenges include dynamic optimizations, speculative optimizations, deoptimizations, and the interleaving of interpretation and machine code generation.
Jetzt bei Ebay:
![Produktbild - Formal Verification of Concurrent Embedded Software [Paperback]](https://i.ebayimg.com/thumbs/images/g/w9MAAeSw~3tnl2b-/s-l140.jpg)
