LIBRISTO
LIBROAMANTO
obligatorio
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

Envío gratis a partir de 69,99 euros.

Formal Methods in Computer-Aided Design

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods in Computer-Aided Design Albert Camilleri
Código Libristo: 05274636
Editores Springer, Berlin, noviembre 1995
This book constitutes the refereed proceedings of the First International Conference on Formal Metho... Descripción completa
? points 139 b
56.59
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones


Clientes que también han comprado


Géométrie sacrée Miranda Lundy / Libro Tapa blanda
common.buy 9.49
Les Maîtres de Bayreuth Charlie Roquin / Libro Tapa blanda
common.buy 11.89
LA FACE CACHEE DU MARCHE DE L'ART Georgina adam / Libro Tapa blanda
common.buy 33.69
Baudolino Umberto Eco / Libro Tapa blanda
common.buy 19.39
Kommunalrecht Thüringen Till Buchholz / Libro Tapa blanda
common.buy 24.79
Sprawdziany dla klasy 4 Język angielski Paszylk Bartłomiej / Libro Tapa blanda
common.buy 7.59
Flash Gordon 42. Cilt Dan Barry / Libro Tapa blanda
common.buy 25.19
Sirr-i Salat Imam Humeyni / Libro Tapa blanda
common.buy 14.39
Programme Du Cours Des Maladies Epidemiques ROCHARD-C / Libro Tapa blanda
common.buy 14.19
Dítěti vstříc: Teorie literatury pro děti a mládež Lukavská Jana Segi / Libro Tapa blanda
common.buy 11.49
Fluch der Karibik, 1 DVD (Movie Edition) Stephen E. Rivkin / Video DVD
common.buy 11.09
Kinderalbum op. 39 für Klavier Peter I. Tschaikowski / Artículos impresos Partituras
common.buy 21.69

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.

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


Fundamentals of Biomechanics Dawn L. Leger / Libro Tapa blanda
common.buy 97.29
Mystery of Hedgehog Hill Ron Dennis / Libro Tapa blanda
common.buy 11.19
Mental Models Theory of Reasoning Walter Schaeken / Libro Tapa dura
common.buy 228.59
God Pocket Bruce Wilkinson / Libro Tapa dura
common.buy 13.19
Manual De Uso De La Moxibustión CHAO CHANG / Libro Tapa blanda
common.buy 10.59
Faith Through Reason J Matlary / Libro Tapa blanda
common.buy 19.09
Making Human Rights a Reality Emile M Hafner Burton / Libro Tapa blanda
common.buy 37.69
Guy Free, Working on Me Shauna Hoffman / Libro Tapa blanda
common.buy 8.09
Tropical Renditions Christine Bacareza Balance / Libro Tapa dura
common.buy 122.59
Lectures on Nervous and Mental Diseases Charles Sinclaire Elliott / Libro Tapa dura
common.buy 52.39
C. S. Lewis A Life Alister McGrath / Libro Tapa blanda
common.buy 20.19
The Best American Poetry Heather McHugh / Libro Tapa dura
common.buy 29.69
Models of God and Alternative Ultimate Realities Jeanine Diller / Libro Tapa blanda
common.buy 247.79
Irish Fine Art in the Early Modern Period CAROLINE PEGUM / Libro Tapa blanda
common.buy 49.79
The Dalton Divorce Case Anonymous / Libro Tapa blanda
common.buy 19.89
Wilde About The Girl Louise Pentland / Libro Tapa blanda
common.buy 13.79
Popular
Topeka School LERNER BEN / Libro Tapa blanda
common.buy 9.69
Sources For Roman History, B.C. 133-170 (1903) Abel Hendy Jones Greenidge / Libro Tapa dura
common.buy 45.59
Monarchy and the End of Empire Philip Murphy / Libro Tapa blanda
common.buy 74.39
Why Do Leaves Change Color? Betsy Maestro / Libro Tapa blanda
common.buy 8.09
Emotional Growth and Learning Paul Greenhalgh / Libro Tapa blanda
common.buy 108.69
Your Rights Megan Addis / Libro Tapa blanda
common.buy 38.99

Inicio de sesión

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

 
obligatorio
obligatorio

¿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?