phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Semantics and Proof Techniques for Optimizing VHDL Models Kothanda Umamageswaran
Libristo kód: 06796876
Nakladatelství Springer-Verlag New York Inc., listopadu 1998
Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifyi... Celý popis
? points 304 b
3 039 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Emily Dickinson's Vision James R. Guthrie / Pevná
common.buy 2 415 Kč
Polish: An Essential Grammar Dana Bielec / Pevná
common.buy 5 583 Kč
Corneal Topography Jeffrey B. Robin / Brožovaná
common.buy 3 039 Kč
Asset-backed Securitization and the Financial Crisis Nadine Senanayake / Brožovaná
common.buy 1 474 Kč
Abstract of Sir Isaac Newton's Chronology of Ancient Kingdoms. by Mr. Reid. the Second Edition. Sir Isaac Newton / Brožovaná
common.buy 473 Kč
desmantelamiento de la democracia y el Estado Totalitario. Tomo XV. Coleccion Tratado de Derecho Constitucional Allan R Brewer-Carias / Brožovaná
common.buy 1 699 Kč
Remarks Upon the Newtonian Philosophy, as Propos'd by Sir Isaac Newton, in His Principia Philosophi Naturalis; And by Dr. Gregory, in His Principia A GEORGE GORDON / Pevná
common.buy 925 Kč
Chasing Down A Dream Beverly Jenkins / Brožovaná
common.buy 322 Kč
Targeting the Powerful Vanessa Hack / Brožovaná
common.buy 1 852 Kč
Understanding Russianness / Pevná
common.buy 4 752 Kč
Mehrpersonen-Preisdifferenzierung Gerd Wilger / Brožovaná
common.buy 2 087 Kč
Winston Ian Wishart / Brožovaná
common.buy 657 Kč
Financial Restructuring Kay Barth / Brožovaná
common.buy 1 489 Kč
Revolting Bodies? Kathleen LeBesco / Brožovaná
common.buy 906 Kč

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.

Informace o knize

Plný název Formal Semantics and Proof Techniques for Optimizing VHDL Models
Autor Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1998
Počet stran 158
EAN 9781461373315
ISBN 146137331X
Libristo kód 06796876
Nakladatelství Springer-Verlag New York Inc.
Váha 290
Rozměry 155 x 235 x 11

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Elektronika: obvody a komponenty
Technologie, strojírenství, zemědělství > Energetické technologie a inženýrství > Elektrotechnika
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačem podporovaný design (CAD)
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Matematika a věda > Matematika
Výpočetní a informační technologie > Počítačový hardware
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet