Apt Krzysztof R

Brief History Of Mathematics For Curious Minds, A

Brief History Of Mathematics For Curious Minds, A

Programmverifikation

Verification Of Sequential And Concurrent Programs

Verification Of Sequential And Concurrent Programs

Edsger Wybe Dijkstra

Logic Programming 1992: Proceedings Of The Joint International Conference On Logic Programming

Constraint Logic Programming Using Eclipse