Formal Methods in Computer-Aided Design: First International...

Cover Type: Paperback with 470 pages
Published by: Springer
Edition: 1st Edition December 6, 1996
Written in: English
ISBN 10 Number: 3540619372
ISBN 13 Number: 978-3540619376
Book Dimensions: 9.3 x 6.1 x 1 inches
Weighs: 1.4 pounds <a href="http://www.amazon.com/gp/help/seller/shipping.html/103-8610857-4534262?ie=UTF8&asin=3540619372&amp;seller=ATVPDKIK">

Buy Formal Methods in Computer-Aided Design: First International... here, one of many Computer Performance Optimization books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > Computer Performance Optimization > Item 428

	Formal Methods in Computer-Aided Design: First International...
	by Mandayam Srivas and Albert Camilleri Sales Rank: 6378476	$98.00 At Amazon on 6-26-2008.

*Features* Cover Type: Paperback with 470 pages Published by: Springer Edition: 1st Edition December 6, 1996 Written in: English ISBN 10 Number: 3540619372 ISBN 13 Number: 978-3540619376 Book Dimensions: 9.3 x 6.1 x 1 inches Weighs: 1.4 pounds *Book Description* This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996. The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing. Back To Top
Formal Methods in Computer-Aided Design: First International... ~~List Price: $98.00~~ Available from Amazon Price: $98.00 Updated on 6-26-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Formal Methods in Computer-Aided Design: First International... and other related Computer Performance Optimization Books here at Rbookshop.com. To view more books about Computer Performance Optimization please use the previous and next buttons near the top of this page.