Providing a framework for modelling, specifying and verifying systems composed of real-time discrete event..."> Providing a framework for modelling, specifying and verifying systems composed of real-time discrete event..."/>
Image of Temporal Logic for Real-time Systems
Penanda Bagikan

Text

Temporal Logic for Real-time Systems

Providing a framework for modelling, specifying and verifying systems composed of real-time discrete event processes, this text combines a formal framework in computer science with applications in software and control engineering.

Ketersediaan
#
Belum memasukkan lokasi Belum memasukkan lokasi
27681
Tersedia
Informasi Detail
Judul Seri
-
No. Panggil
27681
Penerbit
: John Wiley & Sons Incorporated.,
Deskripsi Fisik
230
Bahasa
ISBN/ISSN
-
Klasifikasi
-
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
-
Subjek
-
Info Detail Spesifik
-
Pernyataan Tanggungjawab
Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas
Tidak Ada Data
Komentar
Anda harus masuk sebelum memberikan komentar