Книга Formal Semantics and Proof Techniques for Optimizing VHDL Models Kothanda Umamageswaran

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Език: Английски език
Корици: С твърди корици
Издател: Springer
Наличност: Външен склад в ограничено количество
Изпращаме след 13-18 дни
116.25 227.37 лв
Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifyi...

Информация за книгата

Език
Английски език
Корици
Книга - С твърди корици
Издадена
1998
страници
158
EAN
9780792383758
ISBN
0792383753
Enbook ID
01397588
Издател
Теглоt
970
Размери
155 x 235 x 15

Пълно описание

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL.

Може също да ви хареса

12.81 25.06 лв

China and Angola

Marcus Power
27.89 54.55 лв

"Escape"

Laurie Read
18.79 36.76 лв

Notes from Underground

Fyodor M Dostoevsky
12.36 24.17 лв
16.18 31.65 лв
7.48 14.64 лв

Asia

Alexis Roumanis
26.28 51.40 лв

American Privateer

George C Richardson
16.03 31.35 лв

Jews of Springfield in the Ozarks

Mara W. Cohen Ioannides
21.46 41.97 лв
754.85 1 476.36 лв
151.64 296.58 лв

Memorabilia

Xenophon
21.16 41.38 лв

Exceptional America

Philip Abbott
44.03 86.11 лв

Zootechnologies

Sebastian Vehlken
65.79 128.67 лв
102.38 200.24 лв
234.27 458.20 лв
6.88 13.46 лв
16.63 32.53 лв

Клиенти, които купиха тази книга, купиха също

La Promessa - 4

Steffen Jacobsen
6.18 12.08 лв
36.69 71.75 лв
13.87 27.12 лв
22.46 43.93 лв
24.47 47.87 лв
16.33 31.94 лв
12.71 24.86 лв
34.88 68.22 лв
26.73 52.29 лв
13.42 26.24 лв
29.15 57.01 лв

Sančo a Jasno na cestách

Vladimír Pospíšil
4.37 8.54 лв

Vodní omalovánky - Pohádky

Barbara Wierzchowska
1.55 3.04 лв