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
R3,031 Discovery Miles 30 310
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,894 Discovery Miles 28 940
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...
Demi Lovato - Holy Fvck (CD): Demi Lovato
Holy Fvck
Demi Lovato CD R435 Discovery Miles 4 350
Nintendo Joy-Con Neon Controller Pair (Green & Pink):
Nintendo Joy-Con Neon Controller Pair…
R1,899 R1,729 Discovery Miles 17 290
Canon 445 Original Ink Cartridge (Black):
Canon 445 Original Ink Cartridge (Black)
R700 R330 Discovery Miles 3 300
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R205 R168 Discovery Miles 1 680
Cadac Pizza Stone (33cm):
Cadac Pizza Stone (33cm)
 (18)
 R398 Discovery Miles 3 980
Casio LW-200-7AV Watch with 10-Year Battery:
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Beauty And The Beast - Blu-Ray + DVD (Blu-ray disc): Emma Watson, Dan Stevens, Luke Evans
Beauty And The Beast - Blu-Ray + DVD
Emma Watson, Dan Stevens, … Blu-ray disc R313 Discovery Miles 3 130
Koh-I-Noor Polycolor Artist Colour Pencils (Set of 72):
Koh-I-Noor Polycolor Artist Colour…
R3,957 Discovery Miles 39 570
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R205 R168 Discovery Miles 1 680
Mellerware Quantum Steel Gas Heater with 3 Heat Settings (Black):
Mellerware Quantum Steel Gas Heater with…
R1,999 R1,899 Discovery Miles 18 990

 
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