Fortell venner om denne varen:
Constructive Analysis and Synthesis of Programs Marco Benini
Pris
NOK 359
Bestillingsvarer
Forventes levert 10. - 24. aug
Få varsel om nye utgivelser fra Marco Benini
Legg til iMusic ønskeliste
eller
Constructive Analysis and Synthesis of Programs
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 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 | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 4. oktober 2009 |
| ISBN13 | 9781445206387 |
| Utgivere | Lulu.com |
| Antall sider | 140 |
| Mål | 150 × 220 × 20 mm · 358 g |
| Språk | Engelsk |
