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...
Alex's Eyes - Hidden Roots (Paperback): Kay Carroll
Alex's Eyes - Hidden Roots
Kay Carroll Paperback R354 Discovery Miles 3 540
Church, Ministry and Sacraments in the New Testament (Paperback): C.K. Barrett
Church, Ministry and Sacraments in the…
C.K. Barrett Paperback R485 Discovery Miles 4 850
Diocesan Records and Historical Searchers, a Correspondence With the Bishop of Salisbury and the Registrars of the See and...
Diocesan Records and Historical…
Edward Edwards Paperback R335 Discovery Miles 3 350
Doing without Concepts (Hardcover, New): Edouard Machery
Doing without Concepts
Edouard Machery Hardcover R2,372 Discovery Miles 23 720
Cilka's Journey (Paperback): Heather Morris
Cilka's Journey
Heather Morris Paperback R251 Discovery Miles 2 510
The Science of Perception and Memory - A Pragmatic Guide for the Justice System (Hardcover): Daniel Reisberg
The Science of Perception and Memory - A…
Daniel Reisberg Hardcover R2,486 Discovery Miles 24 860
With Each New Dawn (Hardcover): Gail Kittleson
With Each New Dawn
Gail Kittleson Hardcover R775 Discovery Miles 7 750
Grace Is Free, But It Isn't Cheap - Challenging Today's Watered-Down Version of Christianity (Paperback): David...
Grace Is Free, But It Isn't Cheap…
David Tomberlin Paperback R338 R315 Discovery Miles 3 150
Who am I Really? - The Autobiography of Anna Rosenburg (Paperback): Anna Rosenburg
Who am I Really? - The Autobiography of…
Anna Rosenburg Paperback R518 Discovery Miles 5 180
Spirit Wind (Hardcover): Peter L H Tie, Justin T T Tan
Spirit Wind
Peter L H Tie, Justin T T Tan Hardcover R1,011 R859 Discovery Miles 8 590

 
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