Search

You searched for: Auteur KRZYSZTOF R. APT Remove constraint Auteur: KRZYSZTOF R. APT
1 - 2 of 2
Number of results to display per page

Search Results

1. New Perspectives on Games and Interaction
thumbnail
Full text!
Author:
KRZYSZTOF R. APT; Apt, Krzysztof R.; Van Rooij, Robert; Rooij, Robert van
Publisher:
Amsterdam University Press 2008
Format:
e-book
2. Verification of Sequential and Concurrent Programs
thumbnail
Full text!
Author:
Apt, Krzysztof R.; Boer, Frank S.; Olderog, Ernst-Rüdiger; de Boer, Frank S.; Pnueli, Amir
Publisher:
Springer London 2009
Format:
e-book