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

Buy Now

Constraint-Based Verification (Hardcover, 2006 ed.) Loot Price: R2,792
Discovery Miles 27 920
Repayment Terms: R262 pm x 12*
Add to cart
Constraint-Based Verification (Hardcover, 2006 ed.): Jun Yuan, Carl Pixley, Adnan Aziz

Constraint-Based Verification (Hardcover, 2006 ed.)

Jun Yuan, Carl Pixley, Adnan Aziz

 (sign in to rate)
Loot Price R2,792 Discovery Miles 27 920 | Repayment Terms: R262 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular.

It relates constrained verification with the also-hot technology called assertion-based design.

Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Release date: 2006
First published: 2006
Authors: Jun Yuan • Carl Pixley • Adnan Aziz
Dimensions: 235 x 155 x 15mm (L x W x T)
Format: Hardcover
Pages: 254
Edition: 2006 ed.
ISBN-13: 978-0-387-25947-5
Categories: Books > Computing & IT > Computer programming > Software engineering
Promotions
LSN: 0-387-25947-3
Barcode: 9780387259475

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