Before you leave...
Take 20% off your first order
20% off
Enter the code below at checkout to get 20% off your first order
Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings (Paperback) (ISBN-13: 9783540619376)
Vendor:
Mandayam Srivas
Product type:
Books
- $54.99
$54.99- $54.99
- Unit price
- per
Subtotal:
$54.99
Description
xThis 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.
Author: Mandayam Srivas
ISBN-10: 3540619372
ISBN-13: 9783540619376
Publisher: Springer
Language: English
Published: 10/23/1996
Pages: 478
Format: Paperback
Weight: 1.49lbs
Size: 9.21h x 6.14w x 0.98d
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.
Author: Mandayam Srivas
ISBN-10: 3540619372
ISBN-13: 9783540619376
Publisher: Springer
Language: English
Published: 10/23/1996
Pages: 478
Format: Paperback
Weight: 1.49lbs
Size: 9.21h x 6.14w x 0.98d
Recently Viewed Products
- Choosing a selection results in a full page refresh.