Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Cum să cumpăr
Ajutor
Livrare
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Consilier de cumpărături
Suntem aici pentru tine!
031 22 95 182
Contul meu
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje
Creați-vă un cont gratuit
▸
Gol :-(
0
Austin Protocol Compiler
Limba
engleză
engleză
Carte
Copertă tare
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...
Codul Libristo: 07184044
?
318 b
318 b
643
lei
În depozitul extern în cantități mici
Expediem în 10-15 zile
30 de zile pentru retur bunuri
Ar putea de asemenea, să te intereseze
/
Copertă tare
1.005
lei
/
Carte broșată
346
lei
/
Carte broșată
523
lei
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.
Informații despre carte
Titlu complet
Austin Protocol Compiler
Limba
engleză
engleză
Legare
Carte - Copertă tare
Data publicării
2004
Număr pagini
160
EAN
9780387232270
ISBN
9780387232270
Codul Libristo
07184044
Editura
Springer-Verlag New York Inc.
Greutatea
405
Dimensiuni
156 x 234 x 11
