Filter
Søkt på: synthesis series in computer and information science
Den utgaven du søker (isbn 9781608454259)
finnes ikke lenger i sortimentet.
Vi gjorde et søk på tittelen istedenfor synthesis series in computer and information science som gav1 treff
Vi gjorde et søk på tittelen istedenfor synthesis series in computer and information science som gav1 treff
Filter
Logic Program Synthesis from Incomplete Information
heftet,
2012,
Engelsk,
ISBN 9781461359258
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 …