[email protected]
24 órán belül válaszolunk
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
Packeta 990 Ft
GLS futár 1 590 Ft
GLS pont 1 390 Ft
Kapcsolat
Hogyan vásároljunk
Segítség
Kézbesítés
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
Packeta 990 Ft
GLS futár 1 590 Ft
GLS pont 1 390 Ft
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Vásárlási tanácsadó
Segíthetünk?
[email protected]
Saját fiók
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt.
Ingyenes fiók létrehozása
▸
Üres :-(
0
Verification-based software-fault detection
Nyelv
Angol
Angol
Könyv
Puha kötésű
Software is used in many safety- and security-critical systems. Software development is, however, an...
Teljes leírás
Libristo kód: 01877599
?
172 b
172 b
27 522 Ft
▸
-1
%
26 972
Ft
Beszállítói készleten
Küldés 15-20 napon belül
30 nap a termék visszaküldésére
Ezt is ajánljuk
/
Puha kötésű
21 578
Ft
/
Puha kötésű
28 072
Ft
Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software "bugs") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.
Információ a könyvről
Teljes megnevezés
Verification-based software-fault detection
Szerző
Christoph David Gladisch
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2014
Oldalszám
292
EAN
9783866446762
Libristo kód
01877599
Súly
467
Méretek
170 x 244 x 15
