Krzysztof-R Apt

Edsger Wybe Dijkstra

Brief History Of Mathematics For Curious Minds, A

Brief History Of Mathematics For Curious Minds, A

Verification Of Sequential And Concurrent Programs

Programmverifikation

Verification Of Sequential And Concurrent Programs

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

Constraint Logic Programming Using Eclipse