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

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Formal Semantics and Proof Techniques for Optimizing VHDL Models (Hardcover, 1999 ed.): Kothanda Umamageswaran, Sheetanshu L.... Formal Semantics and Proof Techniques for Optimizing VHDL Models (Hardcover, 1999 ed.)
Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
R2,746 Discovery Miles 27 460
Add to cart
Ships in 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.

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
R2,623 Discovery Miles 26 230
Add to cart
Ships in 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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
GAAP Handbook: Volume 1 & 2 - Financial Accounting and Reporting Practice (Paperback, 2026 Edition): Denise Pretorius, Rieka...
GAAP Handbook: Volume 1 & 2 - Financial…
Denise Pretorius, Rieka Von Well, … Paperback R1,886 R1,599 Discovery Miles 15 990
Circus Of Wonders (Paperback): Elizabeth Macneal
Circus Of Wonders
Elizabeth Macneal Paperback R330 R261 Discovery Miles 2 610
Loose-Leaf for Auditing and Assurance Services (Loose-leaf, 12th ed.): William Messier Jr, Steven Glover, Douglas Prawitt
Loose-Leaf for Auditing and Assurance…
William Messier Jr, Steven Glover, … Loose-leaf R5,337 Discovery Miles 53 370
Mysticism in Twentieth-Century Hebrew Literature (Hardcover, New): Hamutal Bar-Yosef
Mysticism in Twentieth-Century Hebrew…
Hamutal Bar-Yosef Hardcover R2,151 Discovery Miles 21 510
Colour Bus (Board book): Roger Priddy
Colour Bus
Roger Priddy Board book  (1)
 R150 R136 Discovery Miles 1 360
The Psychology of Religious Mysticism (Hardcover, New edition): James H. Leuba
The Psychology of Religious Mysticism
James H. Leuba Hardcover R9,875 Discovery Miles 98 750
Firefighter - Let's Pretend Sets (Board book): Roger Priddy
Firefighter - Let's Pretend Sets
Roger Priddy Board book R250 R227 Discovery Miles 2 270
Connecting History: National 4 & 5 Hitler and Nazi Germany, 1919-1939 (Paperback): James M. Stewart
Connecting History: National 4 & 5…
James M. Stewart Paperback R745 Discovery Miles 7 450
Offshore Wind Energy Cost Modeling - Installation and Decommissioning (Hardcover, 2012): Mark J Kaiser, Brian Snyder
Offshore Wind Energy Cost Modeling…
Mark J Kaiser, Brian Snyder Hardcover R4,028 Discovery Miles 40 280
The Evolution of British General Practice, 1850-1948 (Hardcover): Anne Digby
The Evolution of British General…
Anne Digby Hardcover R6,758 Discovery Miles 67 580

 
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