Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Formal Semantics and Proof Techniques for Optimizing VHDL Models (Hardcover, 1999 ed.) Loot Price: R2,746
Discovery Miles 27 460
Repayment Terms: R257 pm x 12*
Add to cart
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

 (sign in to rate)
Loot Price R2,746 Discovery Miles 27 460 | Repayment Terms: R257 pm x 12*

Bookmark and Share

Expected to ship within 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.

General

Imprint: Springer
Country of origin: Netherlands
Release date: 2001
First published: 1999
Authors: Kothanda Umamageswaran • Sheetanshu L. Pandey • Philip A. Wilsey
Dimensions: 235 x 155 x 12mm (L x W x T)
Format: Hardcover
Pages: 158
Edition: 1999 ed.
ISBN-13: 978-0-7923-8375-8
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 0-7923-8375-3
Barcode: 9780792383758

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!
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