Yazar
Hans Langmaack
8 cilt bulundu.
Cilt sonuçları
Formal techniques in real-time and fault-tolerant systems
Hans Langmaack, Willem-Paul de Roever, Jan Vytopil · Springer-Verlag
787 sayfa · 1994
Real-time data processing / Fault-tolerant computing
Compositionality : the Significant Difference
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok
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