Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Practical Formal Methods for Hardware Design

Langue AnglaisAnglais
Livre Livre de poche
Livre Practical Formal Methods for Hardware Design Werner Damm
Code Libristo: 06809562
Éditeurs Springer, Berlin, novembre 2012
Formal methods for hardware design still find limited use in industry. Yet current practice has to c... Description détaillée
? points 141 b
58.33 €
Stockage externe en petites quantités Expédition sous 11-15 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Student Edition Chapter 5 Grade 1 2015 Houghton Mifflin Harcourt / Livre Livre de poche
common.buy 9.58 €
Les métiers des technologies de l'information GINIES / Livre Livre de poche
common.buy 21.59 €
balance of gold in the Arab poetry industry Ahmed Al Hashemi / Livre numérique Adobe ePub DRM
common.buy 16.44 €
Apprendre à comprendre dès l'école maternelle GFEN / Livre Livre de poche
common.buy 19.37 €
?Por que hay gente esperando otra pandemia? Garcia Isaac Garcia / Livre Livre de poche
common.buy 18.86 €
Vibrazione Finanziaria: Attirare la ricchezza con la frequenza della mente Mentes Libres / Livre Livre de poche
common.buy 9.38 €
Wallensteintage in Stralsund 2022 Fremdenführer Oktan Palkowitsch / Livre Livre de poche
common.buy 17.96 €
Giù la maschera Erika Torre / Livre Livre de poche
common.buy 14.12 €
Fizyka 2. Szkoła ponadpodstawowa. Karty pracy ucznia. Zakres podstawowy Anna Dobosz / Livre Livre de poche
common.buy 8.57 €
Chinesische Zungendiagnose aus einer anderen Perspektive Gaetano Cammilleri / Livre Livre relié
common.buy 70.24 €
Grundzüge der Agrargeschichte (Band 1-3); . Stefan Brakensiek / Livre Livre relié
common.buy 79.92 €
La aventura de los números 2 Díez Torío Ana María / Livre Livre de poche
common.buy 9.98 €
LA LÓGICA DE HEGEL EDGAR MARAGUAT / Livre Livre de poche
common.buy 20.18 €
Mittsommernachtstexte Kurt Lehmkuhl / Livre Livre relié
common.buy 17.15 €
Manual Washington de medicina interna hospitalaria Thomas Ciesielski / Livre Livre de poche
common.buy 73.67 €
Vánoce Smolíka McFiggina a jiné povídky Stephen Leacock / Audio CD Audio
common.buy 7.05 €
Paiement Pour Les Services Environnementaux En Centrafrique Ngombala Samba Zanre / Livre Livre de poche
common.buy 25.93 €
Asci-Mi David Sarramia / Livre Livre de poche
common.buy 93.95 €
Dissexualitat im Lebenslangsschnitt Klaus M. Beier / Livre Livre de poche
common.buy 72.15 €
Controlling verschiedener Supply Chain Typen Katharina Kachler / Livre Livre de poche
common.buy 49.85 €

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.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Practical Formal Methods for Hardware Design
Auteur Werner Damm, Carlos Delgado Kloos
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2012
Nombre de pages 293
EAN 9783540620075
ISBN 3540620079
Code Libristo 06809562
Éditeurs Springer, Berlin
Poids 469
Dimensions 155 x 235 x 16

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
Informatique et technologies de l’information > Bases de données > Bases de données distribuées
Informatique et technologies de l’information > Informatique > Analyse et conception de systèmes
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Gestion de réseaux informatiques et des communications
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Practical Remote Pair Programming Adrian Bolboaca / Livre Livre de poche
common.buy 34.41 €
If I Can Move Mountains, I Can Move Rainbows Shirley M Richards / Livre Livre de poche
common.buy 10.28 €
Moral Force Chartism. Colin Skelly / Livre Livre de poche
common.buy 79.72 €
Malaria Immunopathology Maritza Jaramillo / Livre Livre de poche
common.buy 68.82 €
Popular History of England. Charles Knight / Livre Livre de poche
common.buy 30.67 €
Aus Der Paulskirche. Berichte an Den Schwabischen Merkur Aus Den Jahren 1848 Und 1849 ... Herausgegeben Von H. R. Schafer. H Schaefer / Livre Livre de poche
common.buy 22.19 €
Prosperity The Fruit of Challenge Paul Ottley / Livre Livre relié
common.buy 32.59 €
Winnie-The-Pooh A. A. Milne / Livre Livre de poche
common.buy 7.66 €
First 100 Trucks and Things That Go Lift-the-Flap Nicola Friggens / Livre Livre Concertina
common.buy 10.79 €
City of the Mind Penelope Lively / Livre Livre de poche
common.buy 13.51 €
The Aviation History of Greater Riverside Marge Bitetti / Livre Livre de poche
common.buy 18.46 €
The Pecos Trail Edward Love Johnson / Livre Livre de poche
common.buy 9.38 €
200 Worksheets - Finding Larger Number of 2 Digits: Math Practice Workbook Kapoo Stem / Livre Livre de poche
common.buy 11.19 €
Computational Aspects of the Study of Biological Macromolecules by Nuclear Magnetic Resonance Spectroscopy Jeffrey C. Hoch / Livre Livre relié
common.buy 205.28 €
You're a Big Sister! Andrea Gilbey / Livre Livre de poche
common.buy 10.28 €
Taking Anbar: A Frontline Account of the Hunt For Iraq's Lethal Insurgency Michael J Gifford / Livre Livre de poche
common.buy 18.36 €
Sorrento Travel Guide: What to Do & Where to Go Gillian Russell / Livre Livre de poche
common.buy 8.47 €
Love and Hate: Love N Hate Marty J / Livre Livre de poche
common.buy 14.83 €
Peace Comes To Ajani: Team Indomitable Spirit Keith Kelly / Livre Livre de poche
common.buy 14.83 €
Advanced Green Materials Shakeel Ahmed / Livre Livre de poche
common.buy 283.40 €
Transforming Your Business with AWS - Getting the Most Out of Using AWS to Modernize and Innovate Your Digital Services Philippe Abdoulaye / Livre Livre de poche
common.buy 30.47 €
Educating Adolescents Around the Globe Meike Watzlawik / Livre Livre de poche
common.buy 102.73 €
Origins of the Gods Gregory L. Little / Livre Livre de poche
common.buy 18.66 €
Russia and the Cult of State Security Julie Fedor / Livre Livre de poche
common.buy 69.83 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?