Overview

Full Product Details

Author:   Albert M. K. Cheng (University of Houston, USA)
Publisher:   John Wiley & Sons Inc
Imprint:   Wiley-Interscience
Dimensions:   Width: 16.60cm , Height: 4.30cm , Length: 24.10cm
Weight:   0.901kg
ISBN:  

9780471184065

ISBN 10:   0471184063
Pages:   552
Publication Date:   19 August 2002
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Reviews

The author provides a substantial, up to date overview of the verification and validation process (Computer Magazine, November 2004) The unifying discussion on the formal analysis and verification methods are especially valuable and enlightening, both for graduate students and researchers. (International Journal of General Systems, December 2003)

The author provides a substantial, up-to-date overview of the verification and validation process ( Computer Magazine, November 2004) The unifying discussion on the formal analysis and verification methods are especially valuable and enlightening, both for graduate students and researchers. (International Journal of General Systems, December 2003)

The author provides a substantial, up--to--date overview of the verification and validation process! (Computer Magazine, November 2004) The unifying discussion on the formal analysis and verification methods are especially valuable and enlightening, both for graduate students and researchers. (International Journal of General Systems, December 2003)

Author Information

ALBERT M. K. CHENG, PhD, received his doctorate in computer science from the University of Texas at Austin, where he held a GTE Foundation Doctoral Fellowship. He is currently an associate professor in the department of computer science at the University of Houston, where he is the founding director of the Real-Time Systems Laboratory. He is the author and coauthor of over sixty refereed publications, and has received numerous awards, including the NSF Career award. He has served as a technical consultant for several organizations, including IBM, and has served on the program committees of many conferences.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions