Zoeken

U zocht naar: Auteur Pnueli, Amir Filter Auteur: Pnueli, Amir weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Perspectives of Systems Informatics
thumbnail
Full text!
Auteur:
Pnueli, Amir; Kanade, Takeo; Virbitskaite, Irina; Voronkov, Andrei
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
2. Verification of Sequential and Concurrent Programs
thumbnail
Full text!
Auteur:
Apt, Krzysztof R.; Boer, Frank S.; Olderog, Ernst-Rüdiger; de Boer, Frank S.; Pnueli, Amir
Uitgever:
Springer London 2009
Type:
e-book