Constructive Analysis and Synthesis of Programs - Marco Benini - Books - Lulu.com - 9781445206387 - October 4, 2009
In case cover and title do not match, the title is correct

Marco Benini
Constructive Analysis and Synthesis of Programs

Price
HK$ 290
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 17 - 29

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released October 4, 2009
ISBN13 9781445206387
Publishers Lulu.com
Pages 140
Dimensions 150 × 220 × 20 mm   ·   358 g
Language English  

More by Marco Benini

Show all

See all of Marco Benini ( e.g. Hardcover Book and Paperback Book )