Nejlevnější nabídky (1)
Introduction to Static Analysis
Podobné produkty
Popis produktu
Parametry produktu
Produkt nemá žádné parametry.
Parametry produktu
Produkt nemá žádné parametry.
Popis produktu
"A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.
Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. By offering a quick and comprehensive introduction for nonspecialists, the book fills a notable gap in the literature, which until now has consisted largely of scientific articles on advanced topics.
The text covers the mathematical
Chybí či je nepravdivý některý důležitý parametr? Uvedené informace jsou pouze orientační, před zakoupením ve vybraném obchodě doporučujeme ověřit, že prodávaný model má klíčové vlastnosti dle vašich požadavků. I když se snažíme o maximální přesnost informací, bohužel nemůžeme zaručit jejich 100% správnost. Ceny produktů jsou uváděny včetně DPH.
Produkt zatím nemá žádné recenze.