Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Austin Protocol Compiler

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Austin Protocol Compiler Mohamed G. (University of Texas at Austin) Gouda
Koda Libristo: 07184044
Založba Springer-Verlag New York Inc., november 2004
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...
? points 252 b
104.31 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Top
Soul Sealer's School Life 3 Sarah Ozolnieks / Knjiga Mehka
common.buy 15.28 €
Tutto in me è amore. Antologia delle lettere 1918-1926 Piero Gobetti / Knjiga Mehka
common.buy 15.49 €
Kronika rodinného chaosu Jiří May / Knjiga Mehka
common.buy 9.00 €
berger d'Andorre - El pastor d'Andorra Corinne Toupillier / Knjiga Mehka
common.buy 5.46 €
Kahden maailman valissa Heli Santavuori / Knjiga Mehka
common.buy 16.80 €
L'Arte della Magia Frank G. Ripel / Knjiga Mehka
common.buy 34.12 €
Multi-Regime-Regulierung Britta Meinke / Knjiga Mehka
common.buy 50.23 €
Analisis para la Mejora del Proceso de Produccion de Lapices de Madera Roman A. Mora Gtz. / Knjiga Mehka
common.buy 74.64 €
Abhängigkeitserkrankung als missglückter Selbstheilungsversuch Walter Linher / Knjiga Mehka
common.buy 61.77 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Austin Protocol Compiler
Avtor Mohamed G. (University of Texas at Austin) Gouda
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 2004
Število strani 160
EAN 9780387232270
ISBN 9780387232270
Koda Libristo 07184044
Založba Springer-Verlag New York Inc.
Teža 405
Mere 156 x 234 x 11

Kategorije

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Computer science
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Hormonal Carcinogenesis Jonathan J. Li / Knjiga Mehka
common.buy 97.53 €
What Number is God? Sarah Voss / Knjiga Mehka
common.buy 37.87 €
Savage Horizons Cj Birch / Knjiga Mehka
common.buy 14.78 €
Advanced Engine Performance Diagnosis James D. Halderman / Knjiga Mehka
common.buy 180.37 €
De Principiis Origen of Alexandria / Knjiga Mehka
common.buy 9.31 €
Cell Culture Methods for In Vitro Toxicology Alan Doyle / Knjiga Mehka
common.buy 97.53 €
Fluoromethylation Reactions Sujith Chacko / Knjiga Mehka
common.buy 71.70 €
Positivism, Presupposition and Current Controversies (Theoretical Logic in Sociology) Jeffrey C. Alexander / Knjiga Trda
common.buy 200.02 €
Clinical Management of Intestinal Failure Christopher P. Duggan / Knjiga Trda
common.buy 254.72 €
Special Issue in Honor of Katherine Nelson Philip David Zelazo / Knjiga Mehka
common.buy 38.38 €
Top
Nailbiter Volume 1: There Will Be Blood Joshua Williamson / Knjiga Mehka
common.buy 7.08 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?