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 Kurier 12.99 zł Punkt DPD 11.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 141 b
Gwarancja
najlepszej
ceny ▸
252.63 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Student Edition Chapter 5 Grade 1 2015 Houghton Mifflin Harcourt / Książka Miękka
common.buy 41.69 zł
Les métiers des technologies de l'information GINIES / Książka Miękka
common.buy 92.81 zł
balance of gold in the Arab poetry industry Ahmed Al Hashemi / E-book Adobe ePub DRM
common.buy 71.19 zł
Apprendre à comprendre dès l'école maternelle GFEN / Książka Miękka
common.buy 82.77 zł
?Por que hay gente esperando otra pandemia? Garcia Isaac Garcia / Książka Miękka
common.buy 81.85 zł
Vibrazione Finanziaria: Attirare la ricchezza con la frequenza della mente Mentes Libres / Książka Miękka
common.buy 40.77 zł
Wallensteintage in Stralsund 2022 Fremdenführer Oktan Palkowitsch / Książka Miękka
common.buy 77.95 zł
Giù la maschera Erika Torre / Książka Miękka
common.buy 57.77 zł
Fizyka 2. Szkoła ponadpodstawowa. Karty pracy ucznia. Zakres podstawowy Anna Dobosz / Książka Miękka
common.buy 38.41 zł
Chinesische Zungendiagnose aus einer anderen Perspektive Gaetano Cammilleri / Książka Twarda
common.buy 304.57 zł
Grundzüge der Agrargeschichte (Band 1-3); . Stefan Brakensiek / Książka Twarda
common.buy 346.58 zł
La aventura de los números 2 Díez Torío Ana María / Książka Miękka
common.buy 39.02 zł
LA LÓGICA DE HEGEL EDGAR MARAGUAT / Książka Miękka
common.buy 78.47 zł
Mittsommernachtstexte Kurt Lehmkuhl / Książka Twarda
common.buy 74.16 zł
Manual Washington de medicina interna hospitalaria Thomas Ciesielski / Książka Miękka
common.buy 293.41 zł
Vánoce Smolíka McFiggina a jiné povídky Stephen Leacock / Audio CD Audio
common.buy 28.98 zł
Paiement Pour Les Services Environnementaux En Centrafrique Ngombala Samba Zanre / Książka Miękka
common.buy 112.48 zł
Asci-Mi David Sarramia / Książka Miękka
common.buy 407.54 zł
Dissexualitat im Lebenslangsschnitt Klaus M. Beier / Książka Miękka
common.buy 312.77 zł
Controlling verschiedener Supply Chain Typen Katharina Kachler / Książka Miękka
common.buy 216.06 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 149.26 zł
If I Can Move Mountains, I Can Move Rainbows Shirley M Richards / Książka Miękka
common.buy 44.66 zł
Moral Force Chartism. Colin Skelly / Książka Miękka
common.buy 345.45 zł
Malaria Immunopathology Maritza Jaramillo / Książka Miękka
common.buy 298.12 zł
Popular History of England. Charles Knight / Książka Miękka
common.buy 132.87 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 96.19 zł
Prosperity The Fruit of Challenge Paul Ottley / Książka Twarda
common.buy 129.08 zł
Winnie-The-Pooh A. A. Milne / Książka Miękka
common.buy 33.29 zł
First 100 Trucks and Things That Go Lift-the-Flap Nicola Friggens / Książka Leporelo
common.buy 46.81 zł
City of the Mind Penelope Lively / Książka Miękka
common.buy 58.80 zł
The Aviation History of Greater Riverside Marge Bitetti / Książka Miękka
common.buy 80.11 zł
The Pecos Trail Edward Love Johnson / Książka Miękka
common.buy 40.77 zł
200 Worksheets - Finding Larger Number of 2 Digits: Math Practice Workbook Kapoo Stem / Książka Miękka
common.buy 48.45 zł
Computational Aspects of the Study of Biological Macromolecules by Nuclear Magnetic Resonance Spectroscopy Jeffrey C. Hoch / Książka Twarda
common.buy 889.97 zł
You're a Big Sister! Andrea Gilbey / Książka Miękka
common.buy 44.66 zł
Taking Anbar: A Frontline Account of the Hunt For Iraq's Lethal Insurgency Michael J Gifford / Książka Miękka
common.buy 79.70 zł
Sorrento Travel Guide: What to Do & Where to Go Gillian Russell / Książka Miękka
common.buy 36.87 zł
Love and Hate: Love N Hate Marty J / Książka Miękka
common.buy 64.33 zł
Peace Comes To Ajani: Team Indomitable Spirit Keith Kelly / Książka Miękka
common.buy 64.33 zł
Advanced Green Materials Shakeel Ahmed / Książka Miękka
common.buy 1 229.08 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 131.95 zł
Educating Adolescents Around the Globe Meike Watzlawik / Książka Miękka
common.buy 445.65 zł
Origins of the Gods Gregory L. Little / Książka Miękka
common.buy 81.13 zł
Russia and the Cult of State Security Julie Fedor / Książka Miękka
common.buy 302.93 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?