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
Austin Protocol Compiler
Nyelv
Angol
Angol
Könyv
Kemény kötésű
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...
Libristo kód: 07184044
?
331 b
331 b
52 141
Ft
Beszállítói készleten alacsony példányszámban
Küldés 12-17 napon belül
30 nap a termék visszaküldésére
Ezt is ajánljuk
/
Kemény kötésű
81 395
Ft
/
Puha kötésű
26 927
Ft
/
Puha kötésű
42 554
Ft
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. This book illustrates that two types of semantics of TAP are equivalent.
Információ a könyvről
Teljes megnevezés
Austin Protocol Compiler
Nyelv
Angol
Angol
Kötés
Könyv - Kemény kötésű
Kiadás éve
2004
Oldalszám
160
EAN
9780387232270
ISBN
9780387232270
Libristo kód
07184044
Súly
405
Méretek
156 x 234 x 11
