Constructive Analysis and Synthesis of Programs
Marco Benini
ISBN 10: 1445206382 ISBN 13: 9781445206387
Published by Lulu.com, 2009
New
Buch
From
preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since August 5, 2024
This specific item is no longer available.
About this Item
Description:
Constructive Analysis and Synthesis of Programs | Marco Benini | Buch | Gebunden | Englisch | 2009 | [.] | EAN 9781445206387 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. Seller Inventory # 101430995
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Constructive Analysis and Synthesis of ...
Publisher: Lulu.com
Publication Date: 2009
Binding: Buch
Condition: Neu