Explore
keyword: program synthesis – 10 free books.
These books are available in PDF format - good for desktops, printing.
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel and Marijn Heule, editors
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel and Marijn Heule, editors
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel and Marijn Heule, editors
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács, editors
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner and Laura Kovács
Eine Architektur fuer Programmsynthese aus natuerlicher Sprache
Landhaeusser, Mathias
