Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Language EnglishEnglish
Book Hardback
Book Formal Semantics and Proof Techniques for Optimizing VHDL Models Kothanda Umamageswaran
Libristo code: 01397588
Publishers Springer, November 1998
Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifyi... Full description
? points 271 b
39 217 Ft
In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

EL GATO QUE REGALABA SONRISAS RACHEL WELLS / Book Paperback
common.buy 6 371 Ft
Elektrická násobilka společenská hra na baterie v krabici / Game/Toy Game
common.buy 6 257 Ft
Cose Da Fare E Da Non Fare E Miti E Fatti Sul Covid-19 Rameshwar Pandey / Book Paperback
common.buy 13 669 Ft
Organizzazione, compiti e mansioni dell'Agenzia di Intelligence e Sicurezza Sinisa Djukic / Book Paperback
common.buy 13 669 Ft
Vodní omalovánky - Pohádky Barbara Wierzchowska / Book Paperback
common.buy 580 Ft
Mujeres en flagante delito de independencia Gail Pheterson / Book Paperback
common.buy 6 417 Ft
Sančo a Jasno na cestách Vladimír Pospíšil / Book Paperback
common.buy 1 507 Ft
Sternstunden Religion 7/8 Wolfgang Rieß / Book Sheet
common.buy 10 847 Ft
3. Schuljahr, Das Arbeitsheft Wolfgang Menzel / Book Sheet
common.buy 4 622 Ft
Les Enigmes de Charles-Quint, Proverbe Historique Josephine-Marie De Gaulle / Book Paperback
common.buy 5 156 Ft
Le Bilan de la Republique: Avis Aux Habitants Des Campagnes (2e Edition) Mariotte-A-P-J / Book Paperback
common.buy 5 517 Ft
Eleanor & Park Rainbow Rowell / Book Hardback
common.buy 5 549 Ft
L'intelligence des visions de l'apocalypse Frederic Philibert / Book Hardback
common.buy 13 568 Ft
Praxis Didactica Desde El Enfoque Geohistorico Sayago Aura / Book Paperback
common.buy 9 965 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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Semantics and Proof Techniques for Optimizing VHDL Models
Author Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
Language English
Binding Book - Hardback
Date of issue 1998
Number of pages 158
EAN 9780792383758
ISBN 0792383753
Libristo code 01397588
Publishers Springer
Weight 970
Dimensions 155 x 235 x 15

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
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
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer hardware
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Eugene O'Neill - American Writers 45: University of Minnesota Pamphlets on American Writers John Gassner / Book Paperback
common.buy 11 180 Ft
American Privateer George C Richardson / Book Hardback
common.buy 6 357 Ft
"Escape" Laurie Read / Book Paperback
common.buy 7 271 Ft
Christian Missions and Social Progress; A Sociological Study of Foreign Missions James S 1842-1914 Dennis / Book Hardback
common.buy 19 104 Ft
You Read To Me, I'll Read To You Mary Ann Hoberman / Book Paperback
common.buy 2 969 Ft
Asia Alexis Roumanis / Book Hardback
common.buy 9 773 Ft
Longing for Darkness: Tara and the Black Madonna; A Ten-Year Journey China Galland / Book Paperback
common.buy 10 239 Ft
Dictionary of Literary Biography: Japanese Fiction Writers Since WW II Van C. Gessel / Book Hardback
common.buy 219 754 Ft
Notes from Underground Fyodor M Dostoevsky / Book Paperback
common.buy 4 809 Ft
Magnetic Properties of Paramagnetic Compounds R. T. Pardasani / Book Hardback
common.buy 272 165 Ft
Cause, Cure, and Cancer Free: How I Became a Cancer Escapee John Marra / Book Paperback
common.buy 4 603 Ft
Magnetic Resonance Imaging of the Bone Marrow Andrea Baur-Melnyk / Book Paperback
common.buy 59 522 Ft
Sepher Yetzirah Abraham / Book Paperback
common.buy 6 316 Ft
ABC Book: Ideal /Easy Colouring and Tracing Letters Workbook for Kids Priscilla S. Anderson / Book Paperback
common.buy 2 854 Ft
Black Caesars and Foxy Cleopatras: A History of Blaxploitation Cinema Henderson / Book Hardback
common.buy 7 344 Ft
Nonintervention and International Order R. J. Vincent / Book Hardback
common.buy 68 039 Ft
Wool Embroidery Collection Gail Rogers / Book Paperback
common.buy 5 996 Ft
Foreign Intervention in Africa Elizabeth Schmidt / Book Paperback
common.buy 14 368 Ft
Marriage at the Crossroads Marsha Garrison / Book Hardback
common.buy 42 738 Ft
Coming soon
Wells Cathedral - English Pitkin / Book Paperback
common.buy 2 475 Ft
Plato Opera Vol. II laton / Book Hardback
common.buy 13 075 Ft
Living Ideology in Cuba Katherine Gordy / Book Hardback
common.buy 35 321 Ft
Logic Jam - Unlocking the Value of Information Edward J. Morawski / Book Paperback
common.buy 8 024 Ft
Psychological Meanings of Social Class in the Context of Education Joan M. Ostrove / Book Paperback
common.buy 19 752 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?