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

Practical Formal Methods for Hardware Design

Idioma InglésInglés
Libro Tapa blanda
Libro Practical Formal Methods for Hardware Design Werner Damm
Código Libristo: 06809562
Editores Springer, Berlin, noviembre 2012
Formal methods for hardware design still find limited use in industry. Yet current practice has to c... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

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

Clientes que también han comprado

Student Edition Chapter 5 Grade 1 2015 Houghton Mifflin Harcourt / Libro Tapa blanda
common.buy 12.09 €
Buchstaben schreiben lernen und üben / Libro Tapa blanda
common.buy 8.09 €
Wallensteintage in Stralsund 2022 Fremdenführer Oktan Palkowitsch / Libro Tapa blanda
common.buy 19.89 €
Les métiers des technologies de l'information GINIES / Libro Tapa blanda
common.buy 21.79 €
Apprendre à comprendre dès l'école maternelle GFEN / Libro Tapa blanda
common.buy 19.39 €
Giù la maschera Erika Torre / Libro Tapa blanda
common.buy 14.99 €
La aventura de los números 2 Díez Torío Ana María / Libro Tapa blanda
common.buy 9.59 €
LA LÓGICA DE HEGEL EDGAR MARAGUAT / Libro Tapa blanda
common.buy 19.39 €
Manual Washington de medicina interna hospitalaria Thomas Ciesielski / Libro Tapa blanda
common.buy 71.29 €
Paiement Pour Les Services Environnementaux En Centrafrique Ngombala Samba Zanre / Libro Tapa blanda
common.buy 28.69 €
Asci-Mi David Sarramia / Libro Tapa blanda
common.buy 103.99 €
Dissexualitat im Lebenslangsschnitt Klaus M. Beier / Libro Tapa blanda
common.buy 79.19 €
Mittsommernachtstexte Kurt Lehmkuhl / Libro Tapa dura
common.buy 18.89 €
Grundzüge der Agrargeschichte (Band 1-3); . Stefan Brakensiek / Libro Tapa dura
common.buy 87.99 €
Chinesische Zungendiagnose aus einer anderen Perspektive Gaetano Cammilleri / Libro Tapa dura
common.buy 77.69 €

Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which involved the collaboration of the enterprises Siemens, Italtel, Telefonica I+D, TGI, and AHL, the research institute OFFIS, and the universities of Madrid and Passau. The work presented involves advanced specification languages for hardware design that are intuitive to the designer, like timing diagrams and state based languages, as well as their relation to VHDL and formal languages like temporal logic and a process-algebraic calculus. The results of experimental tests of the tools are also presented.

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 Practical Formal Methods for Hardware Design
Autor Werner Damm, Carlos Delgado Kloos
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 293
EAN 9783540620075
ISBN 3540620079
Código Libristo 06809562
Editores Springer, Berlin
Peso 469
Dimensiones 155 x 235 x 16

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica
Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Bases de datos > Bases de datos distribuidas
Computación e informática > Ciencias de la computación > Análisis y diseño de sistemas
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Redes y comunicaciones informáticas
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

Practical Remote Pair Programming Adrian Bolboaca / Libro Tapa blanda
common.buy 35.79 €
Popular
First 100 Trucks and Things That Go Lift-the-Flap Nicola Friggens / Libro Libro de concertinas
common.buy 9.99 €
Quantities For Generalized Dosimetry Of Ionizing Radiations in Liquid Water D. E. Watt / Libro Tapa dura
common.buy 508.19 €
Russia and the Cult of State Security Julie Fedor / Libro Tapa blanda
common.buy 72.29 €
Moral Force Chartism. Colin Skelly / Libro Tapa blanda
common.buy 84.69 €
Malaria Immunopathology Maritza Jaramillo / Libro Tapa blanda
common.buy 73.09 €
Educating Adolescents Around the Globe Meike Watzlawik / Libro Tapa blanda
common.buy 112.79 €
Popular History of England. Charles Knight / Libro Tapa blanda
common.buy 31.79 €
Aus Der Paulskirche. Berichte an Den Schwabischen Merkur Aus Den Jahren 1848 Und 1849 ... Herausgegeben Von H. R. Schafer. H Schaefer / Libro Tapa blanda
common.buy 23.29 €
Prosperity The Fruit of Challenge Paul Ottley / Libro Tapa dura
common.buy 33.69 €
Popular
Winnie-The-Pooh A. A. Milne / Libro Tapa blanda
common.buy 8.09 €
Splendor of Faith Avery Dulles / Libro Tapa blanda
common.buy 30.79 €
The Aviation History of Greater Riverside Marge Bitetti / Libro Tapa blanda
common.buy 19.39 €
Transforming Your Business with AWS - Getting the Most Out of Using AWS to Modernize and Innovate Your Digital Services Philippe Abdoulaye / Libro Tapa blanda
common.buy 31.99 €
The Pecos Trail Edward Love Johnson / Libro Tapa blanda
common.buy 9.79 €
If I Can Move Mountains, I Can Move Rainbows Shirley M Richards / Libro Tapa blanda
common.buy 10.69 €
Sorrento Travel Guide: What to Do & Where to Go Gillian Russell / Libro Tapa blanda
common.buy 8.79 €
Love and Hate: Love N Hate Marty J / Libro Tapa blanda
common.buy 15.39 €
Peace Comes To Ajani: Team Indomitable Spirit Keith Kelly / Libro Tapa blanda
common.buy 15.39 €
Advanced Green Materials Shakeel Ahmed / Libro Tapa blanda
common.buy 292.29 €
Computational Aspects of the Study of Biological Macromolecules by Nuclear Magnetic Resonance Spectroscopy Jeffrey C. Hoch / Libro Tapa dura
common.buy 225.39 €
Phenomenological Inquiry in Psychology Ron Valle / Libro Tapa dura
common.buy 219.69 €
Multiple Bonds between Metal Atoms Frank A. Cotton / Libro Tapa dura
common.buy 319.49 €
Elements of Hypermedia Design: Techniques for Navigation and Visualization in Cyberspace Peter Gloor / Libro Tapa blanda
common.buy 56.59 €

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?