Type:

Script

University:

Universidade do Minho

Course:

Lecturer:

Comment:

 This is a Book in progress. The basic idea is to define a algebra for funktions and therefor for programs. Whithin this algebra we can proof statements about programms and even calculate the programs themselfs. 

Files:

• pdbc.pdf