Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
Formal Methods in Computer-Aided Design : First International Conference
FMCAD 96Palo AltoCAUSANovember 6 - 81996Proceedings
SR 557
Inclusive of VAT
SR33Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR557
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
About this Product
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.
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.
Report an issue with this product.
