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...
Physical Properties of Quasicrystals (Hardcover, 1999 ed.): Zbigniew M. Stadnik
Physical Properties of Quasicrystals
Zbigniew M. Stadnik Hardcover R5,393 Discovery Miles 53 930
Rod Stewart - Another Country (CD): Rod Stewart
Another Country
Rod Stewart CD  (1)
 R144 R132 Discovery Miles 1 320
Organic Crystal Chemistry (Hardcover): J. B. Garbarczyk, Derry W. Jones
Organic Crystal Chemistry
J. B. Garbarczyk, Derry W. Jones Hardcover R1,113 Discovery Miles 11 130
Jenn Bostic - Jenn Bostia - Revival (CD): Jenn Bostic
Jenn Bostia - Revival
Jenn Bostic CD R114 Discovery Miles 1 140
Crystallography (Hardcover): Takashiro Akitsu
Crystallography
Takashiro Akitsu Hardcover R2,553 Discovery Miles 25 530
Symmetry - Through the Eyes of Old Masters (Hardcover): Emil Makovicky
Symmetry - Through the Eyes of Old…
Emil Makovicky Hardcover R3,653 Discovery Miles 36 530
Kenny Chesney Here And Now (CD): Kenny Chesney
Kenny Chesney Here And Now
Kenny Chesney CD R134 R123 Discovery Miles 1 230
The #1 Album: Acoustic (CD): Various Artists
The #1 Album: Acoustic
Various Artists CD R132 R123 Discovery Miles 1 230
Handbook on the Physics and Chemistry of Rare Earths, Volume 63 (Hardcover): Jean-Claude G. Bunzli, Vitalij K Pecharsky
Handbook on the Physics and Chemistry of…
Jean-Claude G. Bunzli, Vitalij K Pecharsky Hardcover R7,984 Discovery Miles 79 840
Johnny Cash - Live from Austin, Tx (CD): Johnny Cash
Live from Austin, Tx
Johnny Cash CD R361 Discovery Miles 3 610

 
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