phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Formal Semantics and Proof Techniques for Optimizing VHDL Models Kothanda Umamageswaran
Libristo kód: 01397588
Kiadó Springer, november 1998
Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifyi... Teljes leírás
? points 331 b
52 141 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

hamarosan
Vodní omalovánky - Pohádky Barbara Wierzchowska / Puha kötésű
common.buy 615 Ft
Plato Opera Vol. II laton / Kemény kötésű
common.buy 14 887 Ft
Právo - Občanský a společenskovědní základ Jaroslav Zlámal / Puha kötésű
common.buy 2 469 Ft
Sančo a Jasno na cestách Vladimír Pospíšil / Puha kötésű
common.buy 942 Ft
Eleanor & Park Rainbow Rowell / Kemény kötésű
common.buy 5 758 Ft
Sternstunden Religion 7/8 Wolfgang Rieß / Lap
common.buy 10 121 Ft
hamarosan
Wells Cathedral - English Pitkin / Puha kötésű
common.buy 2 846 Ft
Asia Alexis Roumanis / Kemény kötésű
common.buy 11 597 Ft
Living Ideology in Cuba Katherine Gordy / Kemény kötésű
common.buy 48 725 Ft
"Escape" Laurie Read / Puha kötésű
common.buy 8 846 Ft
Marriage at the Crossroads Marsha Garrison / Kemény kötésű
common.buy 49 874 Ft
Dictionary of Literary Biography: Japanese Fiction Writers Since WW II Van C. Gessel / Kemény kötésű
common.buy 258 795 Ft
3. Schuljahr, Das Arbeitsheft Wolfgang Menzel / Lap
common.buy 5 305 Ft
Le Bilan de la Republique: Avis Aux Habitants Des Campagnes (2e Edition) Mariotte-A-P-J / Puha kötésű
common.buy 6 705 Ft
Christian Missions and Social Progress; A Sociological Study of Foreign Missions James S 1842-1914 Dennis / Kemény kötésű
common.buy 23 274 Ft
Fountain of Secrets Anita Clenney / Digital
common.buy 7 068 Ft

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.

Információ a könyvről

Teljes megnevezés Formal Semantics and Proof Techniques for Optimizing VHDL Models
Szerző Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 1998
Oldalszám 158
EAN 9780792383758
ISBN 0792383753
Libristo kód 01397588
Kiadó Springer
Súly 970
Méretek 155 x 235 x 15

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Elektronika: áramkörök és komponensek
Technológia, mérnöki tudományok, mezőgazdaság > Technológia: általános kérdések > Mérnöki tudományok: általános jellegű
Technológia, mérnöki tudományok, mezőgazdaság > Energiatechnológia és energiagépészet > Elektronikus gépészet
Számítástechnika és információtechnológia > Grafikus és digitális média > Számítógép által segített tervezés / dizájn (CAD)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógéptudomány > Rendszeranalízis és rendszerdizájn
Számítástechnika és információtechnológia > Számítógépes hardver
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása