Krzysztof R. Apt - exlibris.ch - finden Sie Ihre liebsten Bücher, Filme, Musik, Games, Softwares, Electronics | Ex Libris

- DE
- FR

"Krzysztof R. Apt"

(6 Artikel gefunden)

E-Book (pdf) Verification of Sequential and Concurrent Programs von Krzysztof R. Apt, Ernst-Rüdiger Olderog

Verification of Sequential and Concurrent Programs Krzysztof R. Apt, Ernst-Rüdiger Olderog E-Book (pdf)

Download steht sofort bereit

E-Book (pdf) Constraint Logic Programming using Eclipse von Krzysztof R. Apt

Constraint Logic Programming using Eclipse Krzysztof R. Apt E-Book (pdf)

Download steht sofort bereit

E-Book (pdf) Programmverifikation von Krzysztof R. Apt, Ernst-Rüdiger Olderog

Programmverifikation Krzysztof R. Apt, Ernst-Rüdiger Olderog E-Book (pdf)

Download steht sofort bereit

1
2