Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Austin Protocol Compiler

Lingua IngleseInglese
Libro Rigido
Libro Austin Protocol Compiler Mohamed G. (University of Texas at Austin) Gouda
Codice Libristo: 07184044
Casa editrice Springer-Verlag New York Inc., novembre 2004
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...
? points 277 b
113.19 €
Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

I migliori
Soul Sealer's School Life 3 Sarah Ozolnieks / Libro In brossura
common.buy 16.99 €
Tutto in me è amore. Antologia delle lettere 1918-1926 Piero Gobetti / Libro In brossura
common.buy 26.29 €
Kronika rodinného chaosu Jiří May / Libro In brossura
common.buy 10.59 €
berger d'Andorre - El pastor d'Andorra Corinne Toupillier / Libro In brossura
common.buy 5.89 €
Kahden maailman valissa Heli Santavuori / Libro In brossura
common.buy 18.69 €
L'Arte della Magia Frank G. Ripel / Libro In brossura
common.buy 36.89 €
Multi-Regime-Regulierung Britta Meinke / Libro In brossura
common.buy 55.29 €
Analisis para la Mejora del Proceso de Produccion de Lapices de Madera Roman A. Mora Gtz. / Libro In brossura
common.buy 82.89 €
Abhängigkeitserkrankung als missglückter Selbstheilungsversuch Walter Linher / Libro In brossura
common.buy 71.69 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Austin Protocol Compiler
Autore Mohamed G. (University of Texas at Austin) Gouda
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2004
Numero di pagine 160
EAN 9780387232270
ISBN 9780387232270
Codice Libristo 07184044
Casa editrice Springer-Verlag New York Inc.
Peso 405
Dimensioni 156 x 234 x 11

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Informatica: argomenti di interesse generale
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Hormonal Carcinogenesis Jonathan J. Li / Libro In brossura
common.buy 107.29 €
What Number is God? Sarah Voss / Libro In brossura
common.buy 41.09 €
Savage Horizons Cj Birch / Libro In brossura
common.buy 16.49 €
Advanced Engine Performance Diagnosis James D. Halderman / Libro In brossura
common.buy 200.29 €
De Principiis Origen of Alexandria / Libro In brossura
common.buy 10.39 €
Cell Culture Methods for In Vitro Toxicology Alan Doyle / Libro In brossura
common.buy 107.29 €
Fluoromethylation Reactions Sujith Chacko / Libro In brossura
common.buy 83.09 €
Positivism, Presupposition and Current Controversies (Theoretical Logic in Sociology) Jeffrey C. Alexander / Libro Rigido
common.buy 215.89 €
Clinical Management of Intestinal Failure Christopher P. Duggan / Libro Rigido
common.buy 274.79 €
Special Issue in Honor of Katherine Nelson Philip David Zelazo / Libro In brossura
common.buy 41.59 €
I migliori
Nailbiter Volume 1: There Will Be Blood Joshua Williamson / Libro In brossura
common.buy 8.89 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?