Logic Program Synthesis from Incomplete Information
Prijzen vanaf
VERGELIJK ALLE AANBIEDERS
(1)
Bol
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.
Lees meer
145,00
Uitgelicht
|
145,00 |
Naar shop
|
Beschrijving
Bol
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.
Vergelijk aanbieders (1)
Shop
Prijs
Verzendkosten
Totale prijs
Beschrijving
(1)
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.
Productspecificaties
| EAN |
|
|---|---|
| Maat |
|
Prijzen voor het laatst bijgewerkt op:
Gerelateerde producten
Uitgelichte Keuze
145,00
