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

Formal Methods in Computer-Aided Design

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods in Computer-Aided Design Alan J. Hu
Código Libristo: 01560042
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noviembre 2004
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods... Descripción completa
? points 125 b
51.09 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Statuts, Ordonnances Et Declaration Du Roy Du 7 Octobre 1675, Confirmative d'Iceux Louis XIV / Libro Tapa blanda
common.buy 14.19 €
Ceci n'est pas une chanson d'amour Alessandro ROBECCHI / Libro Tapa blanda
common.buy 17.79 €
Remember That You Will Die Polyphia / Audio CD de audio
common.buy 20.69 €
Maca Kizi 8 - 1. Kitap Ciltli / Libro Tapa blanda
common.buy 25.19 €
EL FIN DE LA REVOLUCION SOCIAL BAKUNIN / Libro Libro
common.buy 13.69 €
VALSES OP. 39 PIANO JOHANNES BRAHMS Libro binding.
common.buy 19.09 €
Kde je pan Kačer? Knížka do kočárku Ingela P. Arrhemius / Libro Libro de concertinas
common.buy 8.69 €
Vahvad loomad. Helidega raamat / Libro Libro de concertinas
common.buy 22.99 €
Se souvenir de la Normandie GROS / Libro Tapa dura
common.buy 30.99 €
BABADADA, Turkce - latviesu valoda, goersel soezluk - Attēlu vārdnīca BABADADA GMBH / Libro Tapa blanda
common.buy 29.49 €
Akt małżeński Knotz Ksawery / Audio CD de audio
common.buy 6.29 €
Brangane-Figur bei Gottfried von Strassburg und Viola Alvarez Claudia Stoiser / Libro Tapa blanda
common.buy 17.89 €
Die deutsche Rechtsprechung auf dem Gebiete des Internationalen Privatrechts im Jahre 2011 Rainer Kulms / Libro Tapa dura
common.buy 379.89 €
Elektromagnetische Schirmung Hans A. Wolfsperger / Libro Tapa dura
common.buy 213.79 €
Paris war eine Frau Andrea Weiss / Libro Tapa blanda
common.buy 17.79 €
Klick! Deutsch - Ausgabe 2007 - 7. Schuljahr Dorothee Braun / Libro Tapa blanda
common.buy 13.69 €

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004.§The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The papers address all current issues on tools, methods, algorithms, and foundational theory for the application of formalized reasoning to all aspects of computer-aided systems design, including specification, 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.

Sobre el libro

Nombre y apellidos Formal Methods in Computer-Aided Design
Autor Alan J. Hu, Andrew K. Martin
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2004
Número de páginas 448
EAN 9783540237389
ISBN 3540237380
Código Libristo 01560042
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1430
Dimensiones 155 x 235 x 25

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Aplicaciones gráficas y multimedia > Diseño asistido por ordenador (CAD)
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 > Ciencias de la computación > Inteligencia artificial
Computación e informática > Hardware (o soporte físico del ordenador)
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

Popular
Battle Angel Alita: Last Order Omnibus 1 Yukito Kishiro / Libro Tapa blanda
common.buy 16.49 €
Económico
Airline Aircraft Maintenance John Revere / Libro Tapa blanda
common.buy 48.89 €
Fetch Paul Richardson / Libro Tapa blanda
common.buy 20.39 €
How to draw floral mandala Jose Rodriguez / Libro Tapa blanda
common.buy 10.69 €
Kjver Discover Jesus New Testament Soft Cover: King James Version Easy Read Whitaker House / Libro Tapa blanda
common.buy 17.29 €
Annual Report of the Chief Signal Officer to the Secretary of War Signal Office / Libro Tapa dura
common.buy 30.79 €
The Elements of Euclid Robert Simson / Libro Tapa blanda
common.buy 24.99 €
Science Fiction and Fantasy Literature Vol 1 R. Reginald / Libro Tapa dura
common.buy 65.19 €
Blairgowrie, Kirriemuir and Glamis Ordnance Survey / Artículos impresos Mapa
common.buy 14.99 €
EC2ND 2005 Andrew Blyth / Libro Tapa blanda
common.buy 118.19 €
Spot's First Christmas Eric Hill / Libro Libro de concertinas
common.buy 9.39 €
Jesus in Twentieth Century Literature, Art, and Movies Paul Burns / Libro Tapa blanda
common.buy 62.39 €
Dispossession - The Performative in the Political Judith Butler / Libro Tapa dura
common.buy 77.29 €
Commerce and Navigation of the Erythraean Sea; Being a Translation of the Periplus Maris Erythraei, by an Anonymous Writer, and of Arrian's Account of nonymous / Libro Tapa blanda
common.buy 27.69 €
Group Processes John M Levine / Libro Tapa dura
common.buy 215.89 €
Prince William: Born to be King Penny Junor / Libro Tapa blanda
common.buy 14.29 €
TROUVER AA PLACE INDIVIDUS ET COMMUNAUT Roullet / Libro Tapa blanda
common.buy 36.79 €
Manual of Systematic Eyelid Surgery J. R. O. Collin / Libro Tapa blanda
common.buy 85.49 €

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?