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,975 Discovery Miles 29 750
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,841 Discovery Miles 28 410
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...
Tell Tale (Paperback, Air Iri OME): Jeffrey Archer
Tell Tale
Jeffrey Archer Paperback  (3)
 R487 R371 Discovery Miles 3 710
Cultural Readings of Imperialism - Edward Said and the Gravity of History (Paperback): Keith Ansell-Pearson
Cultural Readings of Imperialism…
Keith Ansell-Pearson Paperback R667 Discovery Miles 6 670
The Match (Paperback): Harlan Coben
The Match
Harlan Coben Paperback R482 R411 Discovery Miles 4 110
East and West - Allama Jafari on Bertrand Russell (Hardcover): Seyed Javad Miri
East and West - Allama Jafari on…
Seyed Javad Miri Hardcover R1,606 Discovery Miles 16 060
White Water Nepal (Paperback, 3rd edition): Peter Knowles, Darren Clarkson-King
White Water Nepal
Peter Knowles, Darren Clarkson-King Paperback R703 Discovery Miles 7 030
Daily Life in Arthurian Britain (Hardcover, New): Deborah J. Shepherd
Daily Life in Arthurian Britain
Deborah J. Shepherd Hardcover R2,121 Discovery Miles 21 210
Looking at the Sun: New Writings in Modern Personalism (Hardcover): Simon Smith
Looking at the Sun: New Writings in…
Simon Smith Hardcover R1,777 Discovery Miles 17 770
Roar Of The African Lion (Paperback): Chika Onyeani
Roar Of The African Lion
Chika Onyeani Paperback R275 R246 Discovery Miles 2 460
Treatise On the Theory of the Construction of Bridges and Roofs - Illustrated With Numerous Wood Engravings (Hardcover): De...
Treatise On the Theory of the…
De Volson Wood Hardcover R932 Discovery Miles 9 320
Microbrewed Adventures - A Lupulin Filled Journey To The Heart And Flavor Of The World's Great Craft Beers (Paperback):...
Microbrewed Adventures - A Lupulin…
Charles Papazian Paperback R418 Discovery Miles 4 180

 
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