«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Austin Protocol Compiler

Idioma InglésInglés
Libro Tapa dura
Libro Austin Protocol Compiler Mohamed G. (University of Texas at Austin) Gouda
Código Libristo: 07184044
Editores Springer-Verlag New York Inc., noviembre 2004
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...
? points 290 b
118.29 €
Almacenamiento externo en pequeñas cantidades Envío en 11-15 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Popular
Soul Sealer's School Life 3 Sarah Ozolnieks / Libro Tapa blanda
common.buy 17.99 €
Tutto in me è amore. Antologia delle lettere 1918-1926 Piero Gobetti / Libro Tapa blanda
common.buy 27.69 €
Kronika rodinného chaosu Jiří May / Libro Tapa blanda
common.buy 10.79 €
berger d'Andorre - El pastor d'Andorra Corinne Toupillier / Libro Tapa blanda
common.buy 6.19 €
Kahden maailman valissa Heli Santavuori / Libro Tapa blanda
common.buy 19.69 €
L'Arte della Magia Frank G. Ripel / Libro Tapa blanda
common.buy 36.89 €
Multi-Regime-Regulierung Britta Meinke / Libro Tapa blanda
common.buy 58.09 €
Analisis para la Mejora del Proceso de Produccion de Lapices de Madera Roman A. Mora Gtz. / Libro Tapa blanda
common.buy 87.49 €
Abhängigkeitserkrankung als missglückter Selbstheilungsversuch Walter Linher / Libro Tapa blanda
common.buy 73.09 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Austin Protocol Compiler
Autor Mohamed G. (University of Texas at Austin) Gouda
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2004
Número de páginas 160
EAN 9780387232270
ISBN 9780387232270
Código Libristo 07184044
Editores Springer-Verlag New York Inc.
Peso 405
Dimensiones 156 x 234 x 11

Categorías

Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Tecnología de la información: cuestiones generales
Computación e informática > Ciencias de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

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

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?