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 to reason about programs, the way to encode
specifications so to enable their computational reading. Then, the
mathematics behind synthesis and analysis of computer programs is
developed in depth.
General
Imprint: |
Lulu.Com
|
Country of origin: |
United Kingdom |
Release date: |
October 2009 |
First published: |
October 2009 |
Authors: |
Marco Benini
|
Dimensions: |
229 x 152 x 11mm (L x W x T) |
Format: |
Hardcover - Laminated cover
|
Pages: |
140 |
ISBN-13: |
978-1-4452-0638-7 |
Categories: |
Books >
Science & Mathematics >
Science: general issues >
General
|
LSN: |
1-4452-0638-2 |
Barcode: |
9781445206387 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!