Executable Formal Descriptions for Software Design : Logic and Logic Programming as a Design Tool

Författare: Lars Oestreicher; Uppsala Universitet; []

Nyckelord: ;

Sammanfattning:

Denna avhandling är EVENTUELLT nedladdningsbar som PDF. Kolla denna länk för att se om den går att ladda ner.