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...
To Serve Another Day (Paperback): Ed Lane
To Serve Another Day
Ed Lane Paperback R381 Discovery Miles 3 810
Digital Dharma - How AI Can Elevate Spiritual Intelligence And Personal Wellbeing (Paperback): Deepak Chopra
Digital Dharma - How AI Can Elevate…
Deepak Chopra Paperback R440 R393 Discovery Miles 3 930
An Eye For An Eye (Hardcover): Jeffrey Archer
An Eye For An Eye
Jeffrey Archer Hardcover R637 R564 Discovery Miles 5 640
Decision Support Systems and Industrial IoT in Smart Grid, Factories, and Cities (Hardcover): Ismail Butun
Decision Support Systems and Industrial…
Ismail Butun Hardcover R6,648 Discovery Miles 66 480
Weapons Grade (Paperback): Don Bentley
Weapons Grade
Don Bentley Paperback R505 R464 Discovery Miles 4 640
Moscow Winter (Hardcover): Douglas Clark
Moscow Winter
Douglas Clark Hardcover R981 Discovery Miles 9 810
Artificial Intelligence & Me (Special Edition) - The 5 Big Ideas That Every Kid Should Know (Hardcover): Readyai
Artificial Intelligence & Me (Special…
Readyai Hardcover R1,136 Discovery Miles 11 360
Revolutionizing Business Practices Through Artificial Intelligence and Data-Rich Environments (Hardcover): Manisha Gupta,...
Revolutionizing Business Practices…
Manisha Gupta, Deergha Sharma, … Hardcover R6,199 Discovery Miles 61 990
The Two Lost Mountains (Paperback): Matthew Reilly
The Two Lost Mountains
Matthew Reilly Paperback R321 R293 Discovery Miles 2 930
Applications of Artificial Intelligence in E-Healthcare Systems (Hardcover): Munish Sabharwal, B. Balamurugan Balusamy, S...
Applications of Artificial Intelligence…
Munish Sabharwal, B. Balamurugan Balusamy, … Hardcover R3,108 R2,810 Discovery Miles 28 100

 
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