Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Practical Formal Methods for Hardware Design

Język AngielskiAngielski
Książka Miękka
Książka Practical Formal Methods for Hardware Design Werner Damm
Kod Libristo: 06809562
Wydawnictwo Springer, Berlin, listopad 2012
Formal methods for hardware design still find limited use in industry. Yet current practice has to c... Cały opis
? points 142 b
Gwarancja
najlepszej
ceny ▸
247.90 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Student Edition Chapter 5 Grade 1 2015 Houghton Mifflin Harcourt / Książka Miękka
common.buy 47.66 zł
Buchstaben schreiben lernen und üben / Książka Miękka
common.buy 31.20 zł
Wallensteintage in Stralsund 2022 Fremdenführer Oktan Palkowitsch / Książka Miękka
common.buy 76.37 zł
Les métiers des technologies de l'information GINIES / Książka Miękka
common.buy 91.83 zł
Apprendre à comprendre dès l'école maternelle GFEN / Książka Miękka
common.buy 81.99 zł
Giù la maschera Erika Torre / Książka Miękka
common.buy 56.80 zł
La aventura de los números 2 Díez Torío Ana María / Książka Miękka
common.buy 42.35 zł
LA LÓGICA DE HEGEL EDGAR MARAGUAT / Książka Miękka
common.buy 85.80 zł
Manual Washington de medicina interna hospitalaria Thomas Ciesielski / Książka Miękka
common.buy 313.44 zł
Paiement Pour Les Services Environnementaux En Centrafrique Ngombala Samba Zanre / Książka Miękka
common.buy 110.19 zł
Asci-Mi David Sarramia / Książka Miękka
common.buy 399.25 zł
Dissexualitat im Lebenslangsschnitt Klaus M. Beier / Książka Miękka
common.buy 306.41 zł
Mittsommernachtstexte Kurt Lehmkuhl / Książka Twarda
common.buy 72.66 zł
Grundzüge der Agrargeschichte (Band 1-3); . Stefan Brakensiek / Książka Twarda
common.buy 339.74 zł
Chinesische Zungendiagnose aus einer anderen Perspektive Gaetano Cammilleri / Książka Twarda
common.buy 298.38 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Practical Formal Methods for Hardware Design
Autor Werner Damm, Carlos Delgado Kloos
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 293
EAN 9783540620075
ISBN 3540620079
Kod Libristo 06809562
Wydawnictwo Springer, Berlin
Waga 469
Wymiary 155 x 235 x 16

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Bazy danych > Rozproszone bazy danych
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Practical Remote Pair Programming Adrian Bolboaca / Książka Miękka
common.buy 146.23 zł
TOP
First 100 Trucks and Things That Go Lift-the-Flap Nicola Friggens / Książka Leporelo
common.buy 40.14 zł
Quantities For Generalized Dosimetry Of Ionizing Radiations in Liquid Water D. E. Watt / Książka Twarda
common.buy 2 036.25 zł
Russia and the Cult of State Security Julie Fedor / Książka Miękka
common.buy 296.78 zł
Moral Force Chartism. Colin Skelly / Książka Miękka
common.buy 338.63 zł
Malaria Immunopathology Maritza Jaramillo / Książka Miękka
common.buy 292.26 zł
Educating Adolescents Around the Globe Meike Watzlawik / Książka Miękka
common.buy 436.59 zł
Popular History of England. Charles Knight / Książka Miękka
common.buy 130.17 zł
Aus Der Paulskirche. Berichte an Den Schwabischen Merkur Aus Den Jahren 1848 Und 1849 ... Herausgegeben Von H. R. Schafer. H Schaefer / Książka Miękka
common.buy 94.24 zł
Prosperity The Fruit of Challenge Paul Ottley / Książka Twarda
common.buy 138.60 zł
TOP
Winnie-The-Pooh A. A. Milne / Książka Miękka
common.buy 32.61 zł
Splendor of Faith Avery Dulles / Książka Miękka
common.buy 126.15 zł
The Aviation History of Greater Riverside Marge Bitetti / Książka Miękka
common.buy 78.68 zł
Transforming Your Business with AWS - Getting the Most Out of Using AWS to Modernize and Innovate Your Digital Services Philippe Abdoulaye / Książka Miękka
common.buy 129.26 zł
The Pecos Trail Edward Love Johnson / Książka Miękka
common.buy 39.94 zł
If I Can Move Mountains, I Can Move Rainbows Shirley M Richards / Książka Miękka
common.buy 43.75 zł
Sorrento Travel Guide: What to Do & Where to Go Gillian Russell / Książka Miękka
common.buy 36.12 zł
Love and Hate: Love N Hate Marty J / Książka Miękka
common.buy 63.02 zł
Peace Comes To Ajani: Team Indomitable Spirit Keith Kelly / Książka Miękka
common.buy 63.02 zł
Advanced Green Materials Shakeel Ahmed / Książka Miękka
common.buy 1 204.10 zł
Computational Aspects of the Study of Biological Macromolecules by Nuclear Magnetic Resonance Spectroscopy Jeffrey C. Hoch / Książka Twarda
common.buy 871.89 zł
Phenomenological Inquiry in Psychology Ron Valle / Książka Twarda
common.buy 799.22 zł
Multiple Bonds between Metal Atoms Frank A. Cotton / Książka Twarda
common.buy 1 161.85 zł
Elements of Hypermedia Design: Techniques for Navigation and Visualization in Cyberspace Peter Gloor / Książka Miękka
common.buy 218.99 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?