Formal Methods
Industrial Use from Model to the Code
Vše od
ISTE Ltd and John Wiley & Sons Inc
ISBN: 9781848213623
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language.
4 082 Kč
- 1 - 2 ks
- 4 082 Kč
- 3 - 10 ks
- 4 042 Kč
- 11 a více ks
- 4 002 Kč
Naše cena 4 082 Kč je o 6 % nižší než
doporučená cena výrobce 4 342 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.
Nepřehlédněte od ISTE Ltd and John Wiley & Sons Inc ↓
Technical and Economical Evaluation of Products at the Early Development Stage
do 28. května3 878 Kč
4 082 Kč
Více o produktu ↓
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language.
- Výrobce
- ISTE Ltd and John Wiley & Sons Inc
- Jazyk
- United Kingdom
- Rozměry
- 164 x 241 x 27
- Rok vydání
- 2012
- Počet stran
- 384
- Obsah
- Hardback
- Hmotnost
- 704
- Počet stran
- 384 pages
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Formal Methods 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!
