Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Austin Protocol Compiler

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Austin Protocol Compiler Mohamed G. (University of Texas at Austin) Gouda
Libristo kod: 07184044
Nakladnici Springer-Verlag New York Inc., studeni 2004
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...
? points 265 b
109.21 €
Vanjske zalihe u manjem broju Šaljemo za 11-15 dana

Do 30 dana za povrat

Kupci su kupili i

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

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Austin Protocol Compiler
Autor Mohamed G. (University of Texas at Austin) Gouda
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2004
Broj stranica 160
EAN 9780387232270
ISBN 9780387232270
Libristo kod 07184044
Nakladnici Springer-Verlag New York Inc.
Težina 405
Dimenzije 156 x 234 x 11

Kategorija

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Computer science
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Hormonal Carcinogenesis Jonathan J. Li / Knjiga Meki uvez
common.buy 102.84 €
What Number is God? Sarah Voss / Knjiga Meki uvez
common.buy 37.78 €
Savage Horizons Cj Birch / Knjiga Meki uvez
common.buy 15.75 €
Advanced Engine Performance Diagnosis James D. Halderman / Knjiga Meki uvez
common.buy 191.24 €
De Principiis Origen of Alexandria / Knjiga Meki uvez
common.buy 9.89 €
Cell Culture Methods for In Vitro Toxicology Alan Doyle / Knjiga Meki uvez
common.buy 102.84 €
Fluoromethylation Reactions Sujith Chacko / Knjiga Meki uvez
common.buy 75.66 €
Positivism, Presupposition and Current Controversies (Theoretical Logic in Sociology) Jeffrey C. Alexander / Knjiga Tvrdi uvez
common.buy 208.82 €
Clinical Management of Intestinal Failure Christopher P. Duggan / Knjiga Tvrdi uvez
common.buy 265.81 €
Special Issue in Honor of Katherine Nelson Philip David Zelazo / Knjiga Meki uvez
common.buy 40.10 €
Top
Nailbiter Volume 1: There Will Be Blood Joshua Williamson / Knjiga Meki uvez
common.buy 8.38 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?