Specifying message passing & time critical systems with temporal logic

Ron KOYMANS

Informasi Dasar

20 kali
0002922
005.131
Buku - Circulation (Dapat Dipinjam)
2

Subjek

MATLAB
 

Katalog

Specifying message passing & time critical systems with temporal logic
0-387-56283-4
viii, 164 hal
 

Sirkulasi

Rp. 0
Rp. 1.000
Ya

Pengarang

Ron KOYMANS
Perorangan
 
 

Penerbit

springer-verlag
New york
1992

Koleksi

Kompetensi

 

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini