info@libristo.bg
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Semantics and Proof Techniques for Optimizing VHDL Models Kothanda Umamageswaran
Код Либристо: 06796876
Издателство Springer-Verlag New York Inc., ноември 1998
Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifyi... Цялото описание
? points 354 b
281 лв
Външен склад в ограничено количество Изпращаме след 12-17 дни

30 дни за връщане на стоката

Може би ще Ви заинтересува

Emily Dickinson's Vision James R. Guthrie / С твърди корици
common.buy 213 лв
Polish: An Essential Grammar Dana Bielec / С твърди корици
common.buy 515 лв
Corneal Topography Jeffrey B. Robin / С меки корици
common.buy 281 лв
Asset-backed Securitization and the Financial Crisis Nadine Senanayake / С меки корици
common.buy 138 лв
Chasing Down A Dream Beverly Jenkins / С меки корици
common.buy 31 лв
Abstract of Sir Isaac Newton's Chronology of Ancient Kingdoms. by Mr. Reid. the Second Edition. Sir Isaac Newton / С меки корици
common.buy 40 лв
desmantelamiento de la democracia y el Estado Totalitario. Tomo XV. Coleccion Tratado de Derecho Constitucional Allan R Brewer-Carias / С меки корици
common.buy 144 лв
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 / С твърди корици
common.buy 78 лв
Understanding Russianness / С твърди корици
common.buy 438 лв
Mehrpersonen-Preisdifferenzierung Gerd Wilger / С меки корици
common.buy 193 лв
Targeting the Powerful Vanessa Hack / С меки корици
common.buy 163 лв
Winston Ian Wishart / С меки корици
common.buy 56 лв
Financial Restructuring Kay Barth / С меки корици
common.buy 126 лв
Revolting Bodies? Kathleen LeBesco / С меки корици
common.buy 87 лв

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.

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

Пълно заглавие Formal Semantics and Proof Techniques for Optimizing VHDL Models
Автор Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1998
Брой страници 158
Баркод 9781461373315
ISBN 146137331X
Код Либристо 06796876
Издателство Springer-Verlag New York Inc.
Тегло 290
Размери 155 x 235 x 11

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Mathematics & Science > Mathematics
Computing & Information Technology > Computer hardware
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo