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...
Biosensors and Biodetection - Methods and Protocols Volume 2: Electrochemical and Mechanical Detectors, Lateral Flow and...
Biosensors and Biodetection - Methods…
Avraham Rasooly, Keith Herold Hardcover R2,841 Discovery Miles 28 410
Prostitution and Pornography - Philosophical Debate About the Sex Industry (Paperback): Jessica Spector
Prostitution and Pornography…
Jessica Spector Paperback R841 Discovery Miles 8 410
Advanced Technologies and Polymer Materials for Surgical Sutures (Paperback): Sabu Thomas, Phil Coates, Ben Whiteside, Blessy...
Advanced Technologies and Polymer…
Sabu Thomas, Phil Coates, … Paperback R4,949 Discovery Miles 49 490
The New Calligraphy (Paperback): Ruth Booth
The New Calligraphy
Ruth Booth Paperback R455 R420 Discovery Miles 4 200
Easy Creative Lettering - A Step-By-Step Guide to Lettering, Flourishing, and More (Paperback): Missy Briggs
Easy Creative Lettering - A Step-By-Step…
Missy Briggs Paperback R377 Discovery Miles 3 770
American Wood Type - 1828-1900 - Notes on the Evolution of Decorated and Large Types (Hardcover): Rob Roy Kelly
American Wood Type - 1828-1900 - Notes…
Rob Roy Kelly Hardcover R1,451 Discovery Miles 14 510
Athenian Prostitution - The Business of Sex (Hardcover): Edward E Cohen
Athenian Prostitution - The Business of…
Edward E Cohen Hardcover R2,728 Discovery Miles 27 280
Methods to Cure Procrastination, Bad Productivity, and Poor Time Management - Learn How to Stop Procrastinating with a Simple...
Methods to Cure Procrastination, Bad…
Brian Hatak, Michael Tracy Hardcover R500 Discovery Miles 5 000
Women's Roles During the American Civil War Women Patriots Grade 5 Children's Military Books (Hardcover): Baby...
Women's Roles During the American Civil…
Baby Professor Hardcover R689 R613 Discovery Miles 6 130
Kattemaai 2: Annabel Gaan Skool Toe (Afrikaans, Paperback): Betsie Vos
Kattemaai 2: Annabel Gaan Skool Toe
Betsie Vos Paperback R160 R150 Discovery Miles 1 500

 
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