Yazar
Amir Pnueli
7 cilt bulundu.
Cilt sonuçları
The temporal logic of reactive and concurrent systems
Zohar Manna, Amir Pnueli · Island Press
448 sayfa · 1991
Computer programming / Symbolic and mathematical Logic / Electronic digital computers, programming / Logic, symbolic and mathematical
Perspectives of Systems Informatics
Amir Pnueli · Springer
Sayfa sayısı yok · 2010
Logic design / Computer science / Software engineering / Systems engineering / Informatique
Hybrid systems
Oded Maler, Amir Pnueli, Freek Wiedijk · Springer
558 sayfa · 2003
Hybrid computers / Digital control systems / Congresses
Hybrid Systems : Computation and Control
Freek Wiedijk, Oded Maler, Amir Pnueli · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok
Compositionality : the Significant Difference
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok