Spara
Logic Program Synthesis from Incomplete Information
Författare:
häftad, 2012
Engelska
If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly.
- Författare
- Pierre Flener
- Upplaga
- Softcover reprint of the original 1st ed. 1995
- ISBN
- 9781461359258
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-09-26
- Sidor
- 242
