topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 10
 |
Formal Hardware Verification: Methods and Systems in Comparison
ISBN: 9783540634751 / Angielski / Miękka / 1997 / 376 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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 (Bez gwarancji dostawy przed świętami) |
cena:
467,22 |
 |
Introduction to Formal Hardware Verification
ISBN: 9783540654452 / Angielski / Twarda / 1999 / 299 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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 (Bez gwarancji dostawy przed świętami) 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 |
 |
Max Murmel: Der Vorschulblock für einen guten Schulstart III - Rätseln und Knobeln
ISBN: 9783619153312 / Niemiecki / Book / 80 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Mit Max Murmel - Der Vorschulblock für einen guten Schulstart III: Rätseln und Knobeln können die wichtigsten Fertigkeiten für die Schulfähigkeit auf spielerische und unterhaltsame Weise trainiert werden. Das niedliche Murmeltier Max Murmel begleitet die Kinder dabei durch alle Seiten. Alle Aufgaben sind weitgehend so gestaltet, dass sie schnell selbstständig bearbeitet werden können. Der dritte Vorschulblock der Reihe mit dem liebenswerten Murmeltier widmet sich thematisch dem Rätseln und Knobeln im folgenden Aufgabenkontext:- Optische Wahrnehmung- Logisches Denken- Mengen und...
Mit Max Murmel - Der Vorschulblock für einen guten Schulstart III: Rätseln und Knobeln können die wichtigsten Fertigkeiten für die Schulfähigkeit...
|
cena:
43,04 |
 |
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 (Bez gwarancji dostawy przed świętami) 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 |
 |
Max Murmel: Der Vorschulblock für einen guten Schulstart I
ISBN: 9783619153251 / Niemiecki / Book / 2022 / 80 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Mit Max Murmel - Der Vorschulblock können die wichtigsten Fertigkeiten für die Schulfähigkeit 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. Der Vorschulblock enthält Aufgaben zu folgenden Themenbereichen: -Wahrnehmung -Konzentration -Logisches Denken -Orientierung im Raum -Schwungübungen -Feinmotorik -Sprache -Silben -Buchstaben -Zählen, Zahlen und Mengen -Formen -MusterMax Murmel - Der...
Mit Max Murmel - Der Vorschulblock können die wichtigsten Fertigkeiten für die Schulfähigkeit auf spielerische und unterhaltsame Weise trainiert we...
|
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 (Bez gwarancji dostawy przed świętami) |
cena:
63,35 |
 |
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 (Bez gwarancji dostawy przed świętami) 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 |
 |
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 (Bez gwarancji dostawy przed świętami) 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 |
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
