Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Professional & Technical > Energy technology & engineering > Electrical engineering

Buy Now

Formal Semantics and Proof Techniques for Optimizing VHDL Models (Paperback, Softcover reprint of the original 1st ed. 1999) Loot Price: R2,623
Discovery Miles 26 230
Repayment Terms: R246 pm x 12*
Add to cart
Formal Semantics and Proof Techniques for Optimizing VHDL Models (Paperback, Softcover reprint of the original 1st ed. 1999):...

Formal Semantics and Proof Techniques for Optimizing VHDL Models (Paperback, Softcover reprint of the original 1st ed. 1999)

Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey

 (sign in to rate)
Loot Price R2,623 Discovery Miles 26 230 | Repayment Terms: R246 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

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.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Release date: October 2012
First published: October 2012
Authors: Kothanda Umamageswaran • Sheetanshu L. Pandey • Philip A. Wilsey
Dimensions: 235 x 155 x 9mm (L x W x T)
Format: Paperback
Pages: 158
Edition: Softcover reprint of the original 1st ed. 1999
ISBN-13: 978-1-4613-7331-5
Categories: Books > Computing & IT > Computer hardware & operating systems > General
Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)
Books > Professional & Technical > Energy technology & engineering > Electrical engineering > General
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components
Promotions
LSN: 1-4613-7331-X
Barcode: 9781461373315

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Power System Analysis and Design, SI Edition (Paperback, 6th edition): J. Duncan Glover, Mulukutla Sarma, Thomas Overbye
Power System Analysis and Design, SI…
J. Duncan Glover, Mulukutla Sarma, … Paperback R1,366 R1,270 Discovery Miles 12 700
Power Machines N6 (Paperback):
Power Machines N6
Paperback R399 Discovery Miles 3 990
Hybrid-Renewable Energy Systems in Microgrids - Integration, Developments and Control (Paperback): Hina Fathima, Prabaharan N,...
Hybrid-Renewable Energy Systems in…
Hina Fathima, Prabaharan N, … Paperback R4,492 R4,170 Discovery Miles 41 700
Smart Sensors and MEMS - Intelligent Sensing Devices and Microsystems for Industrial Applications (Paperback, 2nd edition): S....
Smart Sensors and MEMS - Intelligent…
S. Nihtianov, A. Luque Paperback R6,287 R5,808 Discovery Miles 58 080
Ultra-Supercritical Coal Power Plants - Materials, Technologies and Optimisation (Hardcover, New): Dongke Zhang Ftse
Ultra-Supercritical Coal Power Plants…
Dongke Zhang Ftse Hardcover R4,072 R3,790 Discovery Miles 37 900
Biomass Combustion Science, Technology and Engineering (Hardcover, New): Lasse Rosendahl
Biomass Combustion Science, Technology…
Lasse Rosendahl Hardcover R4,381 Discovery Miles 43 810
Combined Cycle Systems for Near-Zero Emission Power Generation (Hardcover, New): Ashok D Rao
Combined Cycle Systems for Near-Zero…
Ashok D Rao Hardcover R4,213 Discovery Miles 42 130
Power Plant Life Management and Performance Improvement (Hardcover, New): John E. Oakey
Power Plant Life Management and…
John E. Oakey Hardcover R5,701 Discovery Miles 57 010
High Temperature Superconductors (HTS) for Energy Applications (Hardcover, New): Ziad Melhem
High Temperature Superconductors (HTS…
Ziad Melhem Hardcover R4,493 Discovery Miles 44 930
Microgeneration - Low energy strategies for larger buildings (Paperback, New): Dave Parker
Microgeneration - Low energy strategies…
Dave Parker Paperback R928 Discovery Miles 9 280
Practical Grounding, Bonding, Shielding and Surge Protection (Paperback, New): G. Vijayaraghavan, Mark Brown, Malcolm Barnes
Practical Grounding, Bonding, Shielding…
G. Vijayaraghavan, Mark Brown, … Paperback R1,427 Discovery Miles 14 270
Power Electronic Control in Electrical Systems (Hardcover): Enrique Acha, Vassilios Agelidis, Olimpo Anaya, T.J.E. Miller
Power Electronic Control in Electrical…
Enrique Acha, Vassilios Agelidis, … Hardcover R3,103 Discovery Miles 31 030

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners