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: R3,067
Discovery Miles 30 670
Repayment Terms: R287 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 R3,067 Discovery Miles 30 670 | Repayment Terms: R287 pm x 12*

Bookmark and Share

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

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
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