Pastāsti draugiem par šo preci:
Larch: Languages and Tools for Formal Specification - Monographs in Computer Science John V. Guttag Softcover reprint of the original 1st ed. 1993 edition
Larch: Languages and Tools for Formal Specification - Monographs in Computer Science
John V. Guttag
It takes longer than expected, the software's functionality and performance are not as wonderful as hoped, and the software is not particularly malleable or easy to maintain. The intended audience is practicing programmers and students in undergraduate or basic graduate courses in software engineering or formal methods.
250 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2011. gada 1. oktobris |
| ISBN13 | 9781461276364 |
| Izdevēji | Springer-Verlag New York Inc. |
| Lapas | 250 |
| Izmēri | 155 × 235 × 14 mm · 385 g |
| Valoda | Angļu |
Vairāk no John V. Guttag
Rādīt visuVairāk no tā paša izdevēja
Skatīt visus John V. Guttag ( piem., Paperback Book )