Ada is the programming language of choice for high integrity software systems and is used extensi...

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but t...

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but t...

Principles of Spin is an introductory book, the only requirement is a background in programming. ...

This open access book bridges the gap between playing with robots in school and studying robotics...

This is open access book provides plenty of pleasant mathematical surprises. There are many fasci...

Mathematical Logic for Computer Science is a mathematics textbook with theorems and pro...

This open access book bridges the gap between playing with robots in school and studying robot...

Ada is the programming language of choice for high integrity software systems and is used exte...

Principles of Spin is an introductory book, the only requirement is a background in programmin...

This is open access book provides plenty of pleasant mathematical surprises. There are many fa...