Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Practical Formal Methods for Hardware Design

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Practical Formal Methods for Hardware Design Werner Damm
Libristo-code: 06809562
Uitgeverij Springer, Berlin, november 2012
Formal methods for hardware design still find limited use in industry. Yet current practice has to c... Volledige beschrijving
? points 148 b
61.16 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Student Edition Chapter 5 Grade 1 2015 Houghton Mifflin Harcourt / Boek Gebonden (paperback)
common.buy 11.23 €
Buchstaben schreiben lernen und üben / Boek Gebonden (paperback)
common.buy 7.38 €
Wallensteintage in Stralsund 2022 Fremdenführer Oktan Palkowitsch / Boek Gebonden (paperback)
common.buy 18.02 €
Les métiers des technologies de l'information GINIES / Boek Gebonden (paperback)
common.buy 21.66 €
Apprendre à comprendre dès l'école maternelle GFEN / Boek Gebonden (paperback)
common.buy 19.33 €
Giù la maschera Erika Torre / Boek Gebonden (paperback)
common.buy 14.07 €
La aventura de los números 2 Díez Torío Ana María / Boek Gebonden (paperback)
common.buy 10.02 €
LA LÓGICA DE HEGEL EDGAR MARAGUAT / Boek Gebonden (paperback)
common.buy 20.25 €
Manual Washington de medicina interna hospitalaria Thomas Ciesielski / Boek Gebonden (paperback)
common.buy 74.03 €
Paiement Pour Les Services Environnementaux En Centrafrique Ngombala Samba Zanre / Boek Gebonden (paperback)
common.buy 26.02 €
Asci-Mi David Sarramia / Boek Gebonden (paperback)
common.buy 94.28 €
Dissexualitat im Lebenslangsschnitt Klaus M. Beier / Boek Gebonden (paperback)
common.buy 72.41 €
Mittsommernachtstexte Kurt Lehmkuhl / Boek Gebonden (harde band)
common.buy 17.21 €
Grundzüge der Agrargeschichte (Band 1-3); . Stefan Brakensiek / Boek Gebonden (harde band)
common.buy 80.21 €
Chinesische Zungendiagnose aus einer anderen Perspektive Gaetano Cammilleri / Boek Gebonden (harde band)
common.buy 70.48 €

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 & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Practical Formal Methods for Hardware Design
Auteur Werner Damm, Carlos Delgado Kloos
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 293
EAN 9783540620075
ISBN 3540620079
Libristo-code 06809562
Uitgeverij Springer, Berlin
Gewicht 469
Afmetingen 155 x 235 x 16

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Databanken > Gedistribueerde databanken
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Practical Remote Pair Programming Adrian Bolboaca / Boek Gebonden (paperback)
common.buy 34.53 €
TOP
First 100 Trucks and Things That Go Lift-the-Flap Nicola Friggens / Boek Leporello (harmonicaboek)
common.buy 10.12 €
Quantities For Generalized Dosimetry Of Ionizing Radiations in Liquid Water D. E. Watt / Boek Gebonden (harde band)
common.buy 504.99 €
Russia and the Cult of State Security Julie Fedor / Boek Gebonden (paperback)
common.buy 70.08 €
Moral Force Chartism. Colin Skelly / Boek Gebonden (paperback)
common.buy 84.16 €
Malaria Immunopathology Maritza Jaramillo / Boek Gebonden (paperback)
common.buy 72.61 €
Educating Adolescents Around the Globe Meike Watzlawik / Boek Gebonden (paperback)
common.buy 103.10 €
Popular History of England. Charles Knight / Boek Gebonden (paperback)
common.buy 30.78 €
Aus Der Paulskirche. Berichte an Den Schwabischen Merkur Aus Den Jahren 1848 Und 1849 ... Herausgegeben Von H. R. Schafer. H Schaefer / Boek Gebonden (paperback)
common.buy 22.27 €
Prosperity The Fruit of Challenge Paul Ottley / Boek Gebonden (harde band)
common.buy 32.70 €
TOP
Winnie-The-Pooh A. A. Milne / Boek Gebonden (paperback)
common.buy 7.69 €
Splendor of Faith Avery Dulles / Boek Gebonden (paperback)
common.buy 29.77 €
The Aviation History of Greater Riverside Marge Bitetti / Boek Gebonden (paperback)
common.buy 19.64 €
Transforming Your Business with AWS - Getting the Most Out of Using AWS to Modernize and Innovate Your Digital Services Philippe Abdoulaye / Boek Gebonden (paperback)
common.buy 30.58 €
The Pecos Trail Edward Love Johnson / Boek Gebonden (paperback)
common.buy 9.41 €
If I Can Move Mountains, I Can Move Rainbows Shirley M Richards / Boek Gebonden (paperback)
common.buy 10.32 €
Sorrento Travel Guide: What to Do & Where to Go Gillian Russell / Boek Gebonden (paperback)
common.buy 8.50 €
Love and Hate: Love N Hate Marty J / Boek Gebonden (paperback)
common.buy 14.88 €
Peace Comes To Ajani: Team Indomitable Spirit Keith Kelly / Boek Gebonden (paperback)
common.buy 14.88 €
Advanced Green Materials Shakeel Ahmed / Boek Gebonden (paperback)
common.buy 284.39 €
Computational Aspects of the Study of Biological Macromolecules by Nuclear Magnetic Resonance Spectroscopy Jeffrey C. Hoch / Boek Gebonden (harde band)
common.buy 206.00 €
Phenomenological Inquiry in Psychology Ron Valle / Boek Gebonden (harde band)
common.buy 208.63 €
Multiple Bonds between Metal Atoms Frank A. Cotton / Boek Gebonden (harde band)
common.buy 303.33 €
Elements of Hypermedia Design: Techniques for Navigation and Visualization in Cyberspace Peter Gloor / Boek Gebonden (paperback)
common.buy 51.75 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken