Pastāsti draugiem par šo preci:
Constructive Analysis and Synthesis of Programs Marco Benini
Cena
€ 36,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 8. - 22. jūl.
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2009. gada 4. oktobris |
| ISBN13 | 9781445206387 |
| Izdevēji | Lulu.com |
| Lapas | 140 |
| Izmēri | 150 × 220 × 20 mm · 358 g |
| Valoda | Angļu |
Vairāk no Marco Benini
Rādīt visu
Skatīt visus Marco Benini ( piem., Hardcover Book un Paperback Book )