Constructive Analysis and Synthesis of Programs - Hardcover

Benini, Marco

 
9781445206387: Constructive Analysis and Synthesis of Programs
Hardcover
ISBN 10: 1445206382 ISBN 13: 9781445206387
Verlag: Lulu.com, 2009

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Lulu.com
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
1445206382
ISBN 13 
9781445206387
Einband
Gebundene Ausgabe
Anzahl der Seiten
140
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Deutschland