Browse By Department
The Springer International Engineering a Logic Program Synthesis from Incomplete Information Book 295 (Hardcover)
Program synthesis is a solution to the software crisis. 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...
$177.42 $133.97 Free Delivery
