«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

4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods in Computer-Aided Design Mark D. Aagaard
Código Libristo: 05273449
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2002
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Gesammelte Abhandlungen Zur Funktionellen Anatomie Des Bewegungsapparates Friedrich Pauwels / Libro Tapa blanda
common.buy 115.99 €
Kroki Maciej Bieszczad / Libro Tapa blanda
common.buy 7.39 €
Oeuvres Completes, Orn Es de 193 Figures... Arnaud Berquin / Libro Tapa blanda
common.buy 31.09 €
Posca akrylový popisovač 2,5 mm fluo-oranžový / Artículos de papelería Artículos de papelería
common.buy 2.99 €
The Making of an Englishman Fred Uhlman / Libro Tapa blanda
common.buy 12.99 €
Kunst Des Zahlens Von Spannbaumen Yirgalem Tsegaye / Libro Tapa blanda
common.buy 39.39 €
GRANDMASTER OF DEMONIC CULTIVATION 01 (MO DAO ZU SHI) Mo Xiang Tong Xiu / Libro Libro
common.buy 16.09 €
Pilíře a limity ochrany osobnosti nejen ve dvacátém prvním století Jakub Sivák / Libro Tapa blanda
common.buy 40.89 €
Popular
Kutyaszív Mihail Bulgakov / Libro Tapa dura
common.buy 6.69 €
Conni feiert Weihnachten / Conni fährt Ski (Meine Freundin Conni - ab 3), 1 Audio-CD Julia Boehme / Audio CD de audio
common.buy 7.59 €
¡Te quiero, Papá Pig! (Un cuento de Peppa Pig) Hasbro / Libro Tapa dura
common.buy 16.09 €
De Angelis : sobre filosofía, mercado y postmodernidad José María Ripalda / Libro Tapa blanda
common.buy 19.59 €
Les aventures de Ulises, la historia de l'Odisea, ESO. Auxiliar Anthony Lawton / Libro Tapa blanda
common.buy 21.39 €
Back For The Attack (Lim.Collector's Edition) Dokken / Audio CD de audio
common.buy 23.79 €
Die Bekenntnisse des Hochstaplers Felix Krull, 3 DVDs Thomas Mann / Video DVD
common.buy 14.29 €
Začátečníci Raymond Carver; Jiří Hrubý / Libro Tapa dura
common.buy 12.29 €
Pbx Per Colaggio E Compressione Massimo Castiglia / Libro Tapa blanda
common.buy 73.69 €
Beatmung basics - ASB, ATC, AutoFlow, AF, FiO2, Flow, I : E, PEEP, Pmax, Rampe, Tinsp, Trigger, Vt, 2 Medizinische Taschen-Karten / Juego/Juguete Juego
common.buy 6.09 €

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.

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 Mark D. Aagaard, John W. O'Leary
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2002
Número de páginas 408
EAN 9783540001164
ISBN 3540001166
Código Libristo 05273449
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1290
Dimensiones 155 x 235 x 23

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Tecnología e ingeniería energética > Ingeniería eléctrica
Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica
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 > 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

Neural Networks: Computational Models and Applications Huajin Tang / Libro Tapa dura
common.buy 169.09 €
Advances in Production Management Systems. Sustainable Production and Service Supply Chains Dimitris Kiritsis / Libro Tapa blanda
common.buy 112.79 €
X Factor Clair Berube / Libro Tapa dura
common.buy 107.49 €
Emerald Bracelet - Book Three of the Seven Stones of Power Andy Stone / Libro Tapa blanda
common.buy 31.19 €
Small Economies & Global Economics Azman Ahmad / Libro Tapa dura
common.buy 131.19 €
Three Reading Plays For Children Close / Libro Tapa blanda
common.buy 16.69 €
Virgin & The Dragon Hibbert / Libro Tapa blanda
common.buy 16.39 €
British librarianship and information work 2006-2010 J H Bowman / Libro Tapa dura
common.buy 45.59 €
Beverly Bedeviled Edward R Brown / Libro Tapa blanda
common.buy 11.19 €
History of the City of New York in the Seventeenth Century Van Rensselaer / Libro Tapa dura
common.buy 41.59 €
Healing Promises Kenneth Copeland / Libro Tapa blanda
common.buy 13.49 €
The Mercy Papers: A Memoir of Three Weeks Robin Romm / Libro Tapa blanda
common.buy 14.59 €
Introduction to Criminal Psychology Russil Durrant / Libro Tapa dura
common.buy 247.99 €
A Beautiful Struggle Emily McKee / Libro Tapa blanda
common.buy 10.69 €
What Makes a Plant a Plant? Structure and Defenses Science Book for Children Children's Science & Nature Books BABY PROFESSOR / Libro Tapa blanda
common.buy 14.99 €
My Kinky, Coily Hair AISHA RICE / Libro Tapa blanda
common.buy 10.39 €
Nailed It Marian Newman / Libro Tapa dura
common.buy 29.69 €
General Electric Review, V39, No. 3, March, 1936 General Electric Company / Libro Tapa blanda
common.buy 22.99 €
Anxiety Coloring by Number: A Coloring Book for Grown-Ups Providing Relaxation and Encouragement, Creative Activities to Help Manage Stress, Anxie Rns Coloring Studio / Libro Tapa blanda
common.buy 7.89 €
The Traumatic Surreal: Germanophone Women Artists and Surrealism After the Second World War Patricia Allmer / Libro Tapa blanda
common.buy 34.99 €
Halo Effect Anne D. LeClaire / Audiolibro MP3
common.buy 45.89 €
Popular
Warriors Super Edition: Crookedstar's Promise Erin Hunter / Libro Tapa blanda
common.buy 6.49 €
Threat Abeer Baker / Libro Tapa dura
common.buy 138.29 €
Elliptic Partial Differential Equations Vitaly Volpert / Libro Tapa dura
common.buy 157.89 €

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?