«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.

Theoretical Aspects of Computer Software

Third International Symposium, TACS '97. Sendai, Japan, September 23-26, 1997. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Theoretical Aspects of Computer Software Martin Abadi
Código Libristo: 05274737
Editores Springer, Berlin, noviembre 1996
This book constitutes the refereed proceedings of the Third International Symposium on Theoretical A... Descripción completa
? points 249 b
101.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

La crisis financiera y la gran recesión en Estados Unidos Saturnino Aguado Sebastián / Libro Tapa blanda
common.buy 17.29 €
El sueño de África JAVIER REVERTE / Libro Tapa blanda
common.buy 13.29 €
60 exercices pour booster ma recherche d'emploi d'Estais / Libro Tapa blanda
common.buy 19.69 €
Meri Kuch Kavitaaen Aur Baaten - 6: Dedicated to Sunny Leone Ullhas Pr / Libro Tapa blanda
common.buy 7.49 €
Voyages de Montesquieu. Tome 1 MONTESQUIEU-C-L / Libro Tapa blanda
common.buy 32.29 €
Cervantes y Pasamonte : la réplica cervantina al Quijote de Avellaneda Alfonso Martín Jiménez / Libro Tapa blanda
common.buy 16.99 €
Zweite Chance des milliardenschweren Cowboys Hope Moore / Libro Tapa blanda
common.buy 16.09 €
Económico
Jak czytać ludzi bez słów Gregory Hartley / Libro Tapa blanda
common.buy 7.19 €
Accordo preliminare Irina Bukharova / Libro Tapa blanda
common.buy 38.79 €
Popular
CoquinNet MENSINK / Libro Tapa blanda
common.buy 21.69 €
Bir Noel Sarkisi / Libro Tapa blanda
common.buy 12.19 €
RÊVERIES DES CABANONS ET DES VIGNES EN PAYS VAROIS Arlette / Libro Tapa blanda
common.buy 25.19 €
Louise, les raisins de la sagesse, Tome 3 Koehl / Libro Tapa blanda
common.buy 27.49 €
Extinction Douglas Preston / Libro Tapa blanda
common.buy 28.69 €
Hledání mateřského stromu Suzanne Simardová / Audio CD de audio
common.buy 13.29 €
LE MONUMENT ELDEN RING ROMIEU SYLVAIN / Libro Libro
common.buy 36.69 €
Detektiv Nobody's Erlebnisse und Reiseabenteuer Robert Kraft / Libro Tapa blanda
common.buy 22.09 €
Eltern-Kind-Beziehung im Jugendalter - eine entwicklungspsychologische Betrachtung Anja Dinter / Libro Tapa blanda
common.buy 17.89 €
Menschen, Tiere und Max Ipke Wachsmuth / Libro Tapa dura
common.buy 21.99 €
Zwei außer Rand und Band, 1 DVD Euginio Alabiso / Video DVD
common.buy 13.39 €
Die große Sternenschweif Hörbox Folgen 7-9 (3 Audio CDs). Folge.7-9, 3 Audio-CD Linda Chapman / Audio CD de audio
common.buy 14.09 €
Die Grafiken und Aufgaben des Buches Mathematik (DVD), 1 DVD-ROM Tilo Arens / Digital Digital DVD
common.buy 12.19 €
Nutzen der Digitalen Fabrik Volker Weiner / Libro Tapa blanda
common.buy 130.09 €
Memoires d'un artiste Charles Gounod / Libro Tapa dura
common.buy 17.69 €

This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.

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 Theoretical Aspects of Computer Software
Autor Martin Abadi, Takayasu Ito
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1997
Número de páginas 648
EAN 9783540633884
ISBN 354063388X
Código Libristo 05274737
Editores Springer, Berlin
Peso 980
Dimensiones 156 x 234 x 33

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
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

Algebraic Methodology and Software Technology V. S. Alagar / Libro Tapa blanda
common.buy 101.79 €
Windows on Literacy Language, Literacy & Vocabulary Early (Social Studies): Food National Geographic Learning / Libro Tapa blanda
common.buy 17.29 €
Empowered Sarah Banet-Weiser / Libro Tapa dura
common.buy 111.89 €
Rolf in the Woods Ernest Thompson Seton / Libro Tapa blanda
common.buy 13.59 €
Poesía John Keats / Libro Tapa blanda
common.buy 13.29 €
Warfare in the Ancient Near East to 1600 BC William J. Hamblin / Libro Tapa blanda
common.buy 70.19 €
Korean Language in Culture and Society Ho-Min Sohn / Libro Tapa blanda
common.buy 41.29 €
Cannon (John Hall) V. South Carolina U.S. Supreme Court Transcript of Record with Supporting Pleadings Henry W Kirkland / Libro Tapa blanda
common.buy 27.39 €
Broken Wings Tereza Ciccarini / Libro Tapa dura
common.buy 34.79 €
Napoleonic Novels Erckmann-Chatrian / Libro Tapa dura
common.buy 43.09 €
Architecture and the Landscape of Modernity in China before 1949 Edward Denison / Libro Tapa dura
common.buy 253.59 €
The Forgetting Sharon Cameron / Libro Tapa dura
common.buy 17.39 €
Ninety-nine Stories of God Joy Williams / Libro Tapa dura
common.buy 16.99 €
Colors! Lynne Dempsey / Libro Tapa blanda
common.buy 12.69 €
Playland and a Place with the Pigs Athol Fugard / Libro Tapa blanda
common.buy 10.59 €
Fiction Focus for Writers Jackie Weger / Audiolibro MP3
common.buy 4.19 €
A Few Facts And Suggestions On Money, Trade, And Banking (1881) Joseph Henry Walker / Libro Tapa blanda
common.buy 22.99 €
Pro Go Adam Freeman / Libro Tapa blanda
common.buy 55.19 €
Nation, Class and Resentment Robin Mann / Libro Tapa blanda
common.buy 88.69 €
Knit Mitts Kate Atherley / Libro Tapa blanda
common.buy 26.09 €
Using mobile learning to teach creative engineering with PBL pedagogy Yulong Li / Libro Tapa blanda
common.buy 43.99 €
Ancient Syriac Document Anonymous / Libro Tapa blanda
common.buy 11.59 €
The Tall Tales of Robert Silverado: Arctic Adventure Matthew R Enlow / Libro Tapa blanda
common.buy 10.69 €
Boerhaave's Materia Medica, or the Druggist's Guide, and the Physician and Apothecary's Table-book. Being a Compleat Account of all Drugs, HERMAN BOERHAAVE / Libro Tapa dura
common.buy 34.79 €

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?