Specifying message passing & time critical systems with temporal logic

Koleksi

Specifying message passing & time critical systems with temporal logic
0002922 - Ron KOYMANS
0002922002
Tersedia
28 September 2014

Informasi Koleksi

 
Beli
 
0
Buku - Circulation (Dapat Dipinjam)
Tel-U Gedung Manterawu Lantai 5