Search

You searched for: Auteur Pnueli, Amir Remove constraint Auteur: Pnueli, Amir
1 - 2 of 2
Number of results to display per page

Search Results

1. Perspectives of Systems Informatics
thumbnail
Full text!
Author:
Pnueli, Amir; Kanade, Takeo; Virbitskaite, Irina; Voronkov, Andrei
Publisher:
Springer Berlin Heidelberg 2010
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