Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Hardware Specification, Verification and Synthesis: Mathematical Aspects Miriam Leeser

Hardware Specification, Verification and Synthesis: Mathematical Aspects

Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings

Szerző: Miriam Leeser, Geoffrey Brown
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag New York Inc.
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 325 Ft
Current research into formal methods for hardware design is presented in the papers in this volume....

Információk a könyvről

Szerző
Miriam Leeser, Geoffrey Brown
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1990
oldal
404
EAN
9780387972268
ISBN
0387972269
Enbook ID
01385137
Kiadó
Springer-Verlag New York Inc.
Súly
1270
Méretek
155 x 235 x 23

Teljes leírás

Current research into formal methods for hardware design is presented in the papers in this volume. Because of the complexity of VLSI circuits, assuring design validity before circuits are manufactured is imperative. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs. The major trend apparent at the workshop is that researchers are rapidly moving away from post hoc proof techniques with their great expense. A number of papers were presented that dealt with problems of synthesizing correct circuits and of designing with the goal of verification. Researchers are also beginning to deal with the theoretical issues of reasoning about concurrent systems and asynchronous systems, and to introduce new logical tools such as constructive type theory and category theory. Most of the research reported was performed in the United States.

Érdekelheti

Tests That Work: Designing and Delivering Fair and Practical Measurement Tools in the Workplace

Odin Westgaard
23 323 Ft

Advanced Theory of Mind

Miller
39 237 Ft

On the Theory of Economic Policy

Jan 1903- Tinbergen
11 045 Ft

Inhabited Island

Arkady Strugatsky
5 107 Ft

History, Theory and Practice of Philosophy for Children

Saeed Naji
77 092 Ft

City of Miracles

Robert Jackson Bennett
5 991 Ft

End of Nomadism?

Caroline Humphrey
48 643 Ft

XCOR, Developing the Next Generation Spaceplane

Erik Seedhouse
15 102 Ft

House of the Blue Lilacs

Kelly Kathryn Griffin
4 299 Ft

ASIC System Design with VHDL: A Paradigm

Steven S. Leung
43 774 Ft

Atomic and Molecular Wires, 1

C. Joachim
57 749 Ft

Studies in Resource Allocation Processes

Kenneth J. ArrowLeonid Hurwicz
66 204 Ft

Angel Adjutant of Twice Born Men

Minnie Lindsay Rowell Carpenter
5 080 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Emily, allein

Stewart O'Nan
4 111 Ft

Weiter ALS Die Schwarzen Krahen Fliegen

Josefa Bissels
3 788 Ft

Kräfte messen

Thomas Brandstetter
9 931 Ft

Geschichte der Philosophie im Altertum und Mittelalter

August Messer
8 424 Ft

Le pays des fourrures

Jules Verne
6 516 Ft

Crime e castigo

FIODOR DOSTOIEVSKI
11 130 Ft

Institutionen und Vertrauen

Katja Naujox
19 482 Ft

Konjunkturpolitik mit »Staatlichen Geschenken«.

Christian Rempel
13 006 Ft

Durchblick Erdkunde - Differenzierende Ausgabe 2012 für Niedersachsen

Timo Frambach
3 029 Ft