topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 8
 |
Introduction to Formal Hardware Verification
ISBN: 9783540654452 / Angielski / Twarda / 1999 / 299 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction...
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete...
|
cena:
201,24 |
 |
Introduction to Formal Hardware Verification
ISBN: 9783642084775 / Angielski / Miękka / 2010 / 299 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction...
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete...
|
cena:
201,24 |
 |
Formal Hardware Verification: Methods and Systems in Comparison
ISBN: 9783540634751 / Angielski / Miękka / 1997 / 376 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. It describes the approaches supplying the theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, the book aims to provide a fair analysis of the strengths and weaknesses of the various approaches given.
Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that hav...
|
cena:
201,24 |
 |
Kommunikative Funktionen des Dialekts im Unterricht
ISBN: 9783484310674 / Niemiecki / Twarda / 1986 / 327 str. Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
467,22 |
 |
Max Murmel: Der Vorschulblock für einen guten Schulstart II
ISBN: 9783619153244 / Niemiecki / Book / 80 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Mit Max Murmel - Der Vorschulblock für einen guten Schulstart II: Konzentration und Wahrnehmung können die wichtigsten Fertigkeiten für die Schulfähigkeit im Bereich Wahrnehmung und Konzentration auf spielerische und unterhaltsame Weise trainiert werden.Das niedliche Murmeltier Max Murmel begleitet die Kinder dabei durch das gesamte Werk. Alle Seiten sind weitgehend so gestaltet, dass die Aufgaben selbstständig bearbeitet werden können.Max Murmel - Der Vorschulblock bietet den Kindern neben viel Spaß und Unterhaltung gleichzeitig eine ideale Vorbereitung für den Übertritt in die...
Mit Max Murmel - Der Vorschulblock für einen guten Schulstart II: Konzentration und Wahrnehmung können die wichtigsten Fertigkeiten für die SchulfÃ...
|
cena:
43,04 |
 |
Mit Max Murmel durch das Vorschuljahr : Ein Arbeitsheft für Vorschule, Kindergarten und zu Hause
ISBN: 9783619153282 / Niemiecki / Broszura / 2018 / 80 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
63,35 |
 |
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
ISBN: 9783540590477 / Angielski / Miękka / 1995 / 312 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994.
The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are... This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the F...
|
cena:
201,24 |
 |
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
ISBN: 9783540665595 / Angielski / Miękka / 1999 / 376 str. Termin realizacji zamówienia: ok. 22 dni roboczych. CHARME 99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place...
CHARME 99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the desig...
|
cena:
201,24 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
