Constructive Analysis and Synthesis of Programs

By Marco Benini

Starting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer programs, the book presents the logical systems... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 1445206382
• ISBN13: 9781445206387
• Release Date: October 2009
• Publisher: Lulu.com
• Length: 140 Pages
• Weight: 0.79 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"