Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Practical Formal Methods for Hardware Design

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Practical Formal Methods for Hardware Design Werner Damm
Libristo kód: 06809562
Nakladatelství Springer, Berlin, listopad 2012
Formal methods for hardware design still find limited use in industry. Yet current practice has to c... Celý popis
? points 135 b
1 350 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Student Edition Chapter 5 Grade 1 2015 Houghton Mifflin Harcourt / Kniha Brožovaná
common.buy 221 Kč
Les métiers des technologies de l'information GINIES / Kniha Brožovaná
common.buy 521 Kč
balance of gold in the Arab poetry industry Ahmed Al Hashemi / E-kniha Adobe ePub DRM
common.buy 399 Kč
Apprendre à comprendre dès l'école maternelle GFEN / Kniha Brožovaná
common.buy 465 Kč
?Por que hay gente esperando otra pandemia? Garcia Isaac Garcia / Kniha Brožovaná
common.buy 434 Kč
Vibrazione Finanziaria: Attirare la ricchezza con la frequenza della mente Mentes Libres / Kniha Brožovaná
common.buy 217 Kč
Wallensteintage in Stralsund 2022 Fremdenführer Oktan Palkowitsch / Kniha Brožovaná
common.buy 410 Kč
Giù la maschera Erika Torre / Kniha Brožovaná
common.buy 340 Kč
Fizyka 2. Szkoła ponadpodstawowa. Karty pracy ucznia. Zakres podstawowy Anna Dobosz / Kniha Brožovaná
common.buy 215 Kč
Chinesische Zungendiagnose aus einer anderen Perspektive Gaetano Cammilleri / Kniha Pevná
common.buy 1 603 Kč
Grundzüge der Agrargeschichte (Band 1-3); . Stefan Brakensiek / Kniha Pevná
common.buy 1 831 Kč
La aventura de los números 2 Díez Torío Ana María / Kniha Brožovaná
common.buy 220 Kč
LA LÓGICA DE HEGEL EDGAR MARAGUAT / Kniha Brožovaná
common.buy 440 Kč
Mittsommernachtstexte Kurt Lehmkuhl / Kniha Pevná
common.buy 390 Kč
Manual Washington de medicina interna hospitalaria Thomas Ciesielski / Kniha Brožovaná
common.buy 1 642 Kč
Vánoce Smolíka McFiggina a jiné povídky Stephen Leacock / Audio Audio CD
common.buy 142 Kč
Paiement Pour Les Services Environnementaux En Centrafrique Ngombala Samba Zanre / Kniha Brožovaná
common.buy 592 Kč
Asci-Mi David Sarramia / Kniha Brožovaná
common.buy 2 146 Kč
Dissexualitat im Lebenslangsschnitt Klaus M. Beier / Kniha Brožovaná
common.buy 1 654 Kč
Controlling verschiedener Supply Chain Typen Katharina Kachler / Kniha Brožovaná
common.buy 1 209 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Practical Formal Methods for Hardware Design
Autor Werner Damm, Carlos Delgado Kloos
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 293
EAN 9783540620075
ISBN 3540620079
Libristo kód 06809562
Nakladatelství Springer, Berlin
Váha 469
Rozměry 155 x 235 x 16

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Databáze > Distribuované databáze
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Počítačové sítě a komunikace
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Practical Remote Pair Programming Adrian Bolboaca / Kniha Brožovaná
common.buy 795 Kč
If I Can Move Mountains, I Can Move Rainbows Shirley M Richards / Kniha Brožovaná
common.buy 237 Kč
Moral Force Chartism. Colin Skelly / Kniha Brožovaná
common.buy 1 932 Kč
Malaria Immunopathology Maritza Jaramillo / Kniha Brožovaná
common.buy 1 668 Kč
Popular History of England. Charles Knight / Kniha Brožovaná
common.buy 707 Kč
Aus Der Paulskirche. Berichte an Den Schwabischen Merkur Aus Den Jahren 1848 Und 1849 ... Herausgegeben Von H. R. Schafer. H Schaefer / Kniha Brožovaná
common.buy 504 Kč
Prosperity The Fruit of Challenge Paul Ottley / Kniha Pevná
common.buy 722 Kč
Winnie-The-Pooh A. A. Milne / Kniha Brožovaná
common.buy 163 Kč
First 100 Trucks and Things That Go Lift-the-Flap Nicola Friggens / Kniha Leporelo
common.buy 228 Kč
City of the Mind Penelope Lively / Kniha Brožovaná
common.buy 308 Kč
The Aviation History of Greater Riverside Marge Bitetti / Kniha Brožovaná
common.buy 421 Kč
The Pecos Trail Edward Love Johnson / Kniha Brožovaná
common.buy 217 Kč
200 Worksheets - Finding Larger Number of 2 Digits: Math Practice Workbook Kapoo Stem / Kniha Brožovaná
common.buy 258 Kč
Computational Aspects of the Study of Biological Macromolecules by Nuclear Magnetic Resonance Spectroscopy Jeffrey C. Hoch / Kniha Pevná
common.buy 5 236 Kč
You're a Big Sister! Andrea Gilbey / Kniha Brožovaná
common.buy 237 Kč
Taking Anbar: A Frontline Account of the Hunt For Iraq's Lethal Insurgency Michael J Gifford / Kniha Brožovaná
common.buy 423 Kč
Sorrento Travel Guide: What to Do & Where to Go Gillian Russell / Kniha Brožovaná
common.buy 195 Kč
Love and Hate: Love N Hate Marty J / Kniha Brožovaná
common.buy 341 Kč
Peace Comes To Ajani: Team Indomitable Spirit Keith Kelly / Kniha Brožovaná
common.buy 341 Kč
Advanced Green Materials Shakeel Ahmed / Kniha Brožovaná
common.buy 6 594 Kč
Transforming Your Business with AWS - Getting the Most Out of Using AWS to Modernize and Innovate Your Digital Services Philippe Abdoulaye / Kniha Brožovaná
common.buy 692 Kč
Educating Adolescents Around the Globe Meike Watzlawik / Kniha Brožovaná
common.buy 2 357 Kč
Origins of the Gods Gregory L. Little / Kniha Brožovaná
common.buy 413 Kč
Russia and the Cult of State Security Julie Fedor / Kniha Brožovaná
common.buy 1 619 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?