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...
Tappitty Tap Tap - Nuggets of Gold (Hardcover): Rosalie Lombardo
Tappitty Tap Tap - Nuggets of Gold
Rosalie Lombardo Hardcover R430 Discovery Miles 4 300
My Day Depends on Me - How to Rewrite Your Life Narrative (Hardcover): Marilyn Bess Field
My Day Depends on Me - How to Rewrite…
Marilyn Bess Field Hardcover R810 Discovery Miles 8 100
Dictionary Of Dreams (Paperback):
Dictionary Of Dreams
Paperback R109 Discovery Miles 1 090
Family Style Chinese Cookbook - Authentic Recipes from My Culinary Journey Through China (Paperback): Shanti Christensen
Family Style Chinese Cookbook…
Shanti Christensen Paperback R467 Discovery Miles 4 670
Faith Without Hustle Is Dead - Get Your Hustle Back In 90 Days - Vol. 1 (Hardcover): Aaron Womack
Faith Without Hustle Is Dead - Get Your…
Aaron Womack Hardcover R817 Discovery Miles 8 170
Two Old Fools - Ole! - LARGE PRINT (Large print, Hardcover, Large type / large print edition): Victoria Twead
Two Old Fools - Ole! - LARGE PRINT
Victoria Twead Hardcover R855 Discovery Miles 8 550
Dream Diary (Hardcover): Matthew Wilson
Dream Diary
Matthew Wilson Hardcover R722 Discovery Miles 7 220
Air Fryer Cookbook - 500 Affordable, Quick & Easy Recipes to Fry, Roast, Bake, and Grill (Hardcover): James Mitchell
Air Fryer Cookbook - 500 Affordable…
James Mitchell Hardcover R833 Discovery Miles 8 330
Plant-Based Diet Instant Pot Cookbook 2020-2021 - Affordable and Foolproof Plant-Based Recipes on Budget To heal your body &...
Plant-Based Diet Instant Pot Cookbook…
Jamie Foveaux Hardcover R799 Discovery Miles 7 990
Air Fryer Snack Cookbook - Make Tasty, Healthy, and Quick-To-Cook Snacks with Your Air Fryer. (Hardcover): Susan Hickman
Air Fryer Snack Cookbook - Make Tasty…
Susan Hickman Hardcover R808 R703 Discovery Miles 7 030

 
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