Temporal logic and state systems

Fred & Stephen M KROGER

Informasi Dasar

0011061
004.24
Buku - Circulation (Dapat Dipinjam)
1

Subjek

TECHNOLOGY MANAGEMENT
 

Katalog

Temporal logic and state systems
3-540-67401-6
443 hal ; 24 cm
 

Sirkulasi

Rp. 0
Rp. 1.000
Ya

Pengarang

Fred & Stephen M KROGER
Perorangan
 
 

Penerbit

springer verlag
Berlin
2008

Koleksi

Kompetensi

  • PE1911 - PRAKTIKUM KOMPUTER DAN PEMROGRAMAN
  • IF5113 - METODE FORMAL

Download / Flippingbook

 

Ulasan

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