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...
One Good Thing (Paperback): Alexandra Potter
One Good Thing
Alexandra Potter Paperback R440 Discovery Miles 4 400
Negro-Mania - Being an Examination of the Falsely Assumed Equality of the Various Races of Men (Paperback): John Campbell
Negro-Mania - Being an Examination of…
John Campbell Paperback R715 Discovery Miles 7 150
Young Mungo (Paperback): Douglas Stuart
Young Mungo
Douglas Stuart Paperback R340 R308 Discovery Miles 3 080
Script Analysis for Theatre - Tools for Interpretation, Collaboration and Production (Hardcover): Robert Knopf
Script Analysis for Theatre - Tools for…
Robert Knopf Hardcover R4,368 Discovery Miles 43 680
The Politics Of Custom - Chiefship, Capital, And The State In Contemporary Africa (Paperback): John L. Comaroff, Jean Comaroff
The Politics Of Custom - Chiefship…
John L. Comaroff, Jean Comaroff Paperback R420 R388 Discovery Miles 3 880
Modern and Contemporary World Drama - Critical and Primary Sources (Hardcover): Esther Kim Lee
Modern and Contemporary World Drama…
Esther Kim Lee Hardcover R21,987 Discovery Miles 219 870
Magic and Religion (Paperback): Andrew Lang
Magic and Religion
Andrew Lang Paperback R564 Discovery Miles 5 640
Two Old Fools - Ole! (Hardcover): Victoria Twead
Two Old Fools - Ole!
Victoria Twead Hardcover R606 Discovery Miles 6 060
Historic Neighborhoods of Baton Rouge (Paperback): Annabelle M Armstrong
Historic Neighborhoods of Baton Rouge
Annabelle M Armstrong Paperback R524 R484 Discovery Miles 4 840
Dash Diet Cookbook for Busy people - 50 Affordable and Inspired Meals to Stay Fit and Healthy with Taste (Hardcover): Natalie...
Dash Diet Cookbook for Busy people - 50…
Natalie Puckett Hardcover R849 R733 Discovery Miles 7 330

 
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