Yazar
a pnueli
1 cilt bulundu.
Cilt sonuçları
Compositionality
W.-P. de Roever, Hans Langmaack, A. Pnueli, Germany) COMPOS '97 (1997 Malente · Springer
646 sayfa · 1998
Parallel processing (Electronic computers) / Congresses / Automatic theorem proving