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,890 Discovery Miles 28 900
Add to cart
Ships in 10 - 15 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,756 Discovery Miles 27 560
Add to cart
Ships in 10 - 15 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...
Mission Impossible 6: Fallout (Blu-ray disc): Tom Cruise, Henry Cavill, Rebecca Ferguson, Ving Rhames, Simon Pegg
Mission Impossible 6: Fallout
Tom Cruise, Henry Cavill, … Blu-ray disc  (1)
 R131 R91 Discovery Miles 910
Bostik Glue Stick - Loose (25g):
Bostik Glue Stick - Loose (25g)
R42 R22 Discovery Miles 220
Various Artists - An Evening With Silk Sonic (CD): Bruno Mars, Anderson .Paak, Silk Sonic
An Evening With Silk Sonic
Bruno Mars, Anderson .Paak, … CD  (2)
 R286 Discovery Miles 2 860
Genuine Leather Wallet With Clip Closure (Tan):
Genuine Leather Wallet With Clip Closure…
R299 R246 Discovery Miles 2 460
Astrum HT320 Wireless Bluetooth Over-Ear Multifunction Headset (Black):
Astrum HT320 Wireless Bluetooth Over-Ear…
R399 R306 Discovery Miles 3 060
Sylvanian Families - Walnut Squirrel Family Set:
Sylvanian Families - Walnut Squirrel…
R749 R579 Discovery Miles 5 790
Understanding the Purpose and Power of Prayer - How to Call Heaven to Earth (Paperback, Expanded Edition): Myles Munroe
Understanding the Purpose and Power of…
Myles Munroe Paperback R280 R210 Discovery Miles 2 100
The Year Of Facing Fire - A Memoir (Paperback): Helena Kriel
The Year Of Facing Fire - A Memoir
Helena Kriel Paperback R315 R271 Discovery Miles 2 710
Ultimate Cookies & Cupcakes For Kids (Kit): Hinkler Pty Ltd
Ultimate Cookies & Cupcakes For Kids
Hinkler Pty Ltd Kit R299 R234 Discovery Miles 2 340
Gorillaz - Cracker Island (CD): Gorillaz
Cracker Island
Gorillaz CD R207 R148 Discovery Miles 1 480

 
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