Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Versand nach:
🇩🇪 Deutschland 🇦🇹 Österreich 🇨🇭 Schweiz

Krzysztof R. Apt

Autor von "Verification of Sequential and Concurrent Programs" und "Programmverifikation" und weiteren Büchern.

Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Softcover
erschienen am 14.03.2012
95,86 EUR
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Hardcover
erschienen am 05.10.2009
119,83 EUR
Programmverifikation - Sequentielle, parallele und verteilte Programme
Programmverifikation
Softcover
erschienen am 21.03.1994
29,95 EUR
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Hardcover
erschienen am 13.05.1997
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Hardcover
erschienen am 18.09.1991