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...
Harry Potter - A Journey Through A History of Magic (Paperback): British Library
Harry Potter - A Journey Through A…
British Library Paperback  (4)
 R514 R474 Discovery Miles 4 740
Kwezi: Collector's Edition 4 - Issues 10 - 12 (Paperback): Loyiso Mkize
Kwezi: Collector's Edition 4 - Issues 10…
Loyiso Mkize Paperback R285 Discovery Miles 2 850
Our Infinite Fates (Paperback): Laura Steven
Our Infinite Fates
Laura Steven Paperback R250 R223 Discovery Miles 2 230
Marine Diesel Basics 1 - Maintenance, Lay-Up, Winter Protection, Tropical Storage and Spring Recommission (Hardcover, 2nd ed.):...
Marine Diesel Basics 1 - Maintenance…
Dennison Berwick Hardcover R528 Discovery Miles 5 280
America's Cup - Trials & Triumphs (Paperback): Richard V Simpson
America's Cup - Trials & Triumphs
Richard V Simpson Paperback R492 R458 Discovery Miles 4 580
The yachting handbook (Hardcover): Dave Cox
The yachting handbook
Dave Cox Hardcover R136 Discovery Miles 1 360
The Most Crucial Knots to Know - Beginner Step-by-Step Guide How to Tie 40+ Knots for Camping, Survival, and Preppers...
The Most Crucial Knots to Know…
Aaron Linsdau Hardcover R845 Discovery Miles 8 450
Productivity Hacks - A Time Management Plan to become more Productive (Hardcover): George Pain
Productivity Hacks - A Time Management…
George Pain Hardcover R831 Discovery Miles 8 310
The Complete Ocean Skipper - Deep Water Voyaging, Navigation and Yacht Management (Hardcover): Tom Cunliffe
The Complete Ocean Skipper - Deep Water…
Tom Cunliffe Hardcover R980 Discovery Miles 9 800
Don't Count the Yes's, Count the No's and Time Management Skills That Work (Paperback): Warren Greshes
Don't Count the Yes's, Count the No's…
Warren Greshes Paperback R402 Discovery Miles 4 020

 
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