Tallenna
Logic Program Synthesis from Incomplete Information
Kirjailija:
nidottu, 2012
englanti
193,30 €
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.
- Kirjailija
- Pierre Flener
- Painos
- Softcover reprint of the original 1st ed. 1995
- ISBN
- 9781461359258
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 26.9.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 242
