Static Analysis of Software

The Abstract Interpretation

Vše od ISTE Ltd and John Wiley & Sons Inc
ISBN: 9781848213203

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway,...

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

4 581 Kč

1 - 2 ks
4 581 Kč
3 - 10 ks
4 536 Kč
11 a více ks
4 491 Kč

Naše cena 4 581 Kč je o 6 % nižší než
doporučená cena výrobce 4 874 Kč.

Předpoklad doručení do 28. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

4 581 Kč 4 874 Kč

Nepřehlédněte od ISTE Ltd and John Wiley & Sons Inc

Více o produktu

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.

Výrobce
ISTE Ltd and John Wiley & Sons Inc
Jazyk
United Kingdom
Rozměry
241 x 163 x 25
Rok vydání
2011
Počet stran
331
Obsah
Hardback
Hmotnost
644
Počet stran
331 pages

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Static Analysis of Software a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!