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
GLS futár 1 590 Ft
Packeta 990 Ft
GLS pont 1 390 Ft
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
GLS futár 1 590 Ft
Packeta 990 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?
+36 1 6333 184
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
SPIN Model Checker, The
Nyelv
Angol
Angol
Könyv
Puha kötésű
The SPIN Model Checker is used for both teaching software verification techniques, and for validati...
Teljes leírás
Libristo kód: 04591137
?
212 b
212 b
33 395
Ft
50 % esély
Keressük az egész világon
Mikor kapom meg a terméket?
30 nap a termék visszaküldésére
Ezt is ajánljuk
The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the tool. This book fills that need. SPIN is used in over 40 countries. The offical SPIN web site, spinroot.com receives between 2500 and 3000 hits per day. It has been estimated that up to three-quarters of the $400 billion spent annually to hire programmers in the United States is ultimately spent on debugging
Információ a könyvről
Teljes megnevezés
SPIN Model Checker, The
Szerző
Gerard J. Holzmann
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2003
Oldalszám
608
EAN
9780321773715
ISBN
0321773713
Libristo kód
04591137
Kiadó
Pearson Education
Súly
976
Méretek
180 x 232 x 31
