Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
  • Bahasa
Ditemukan 2 dari pencarian Anda melalui kata kunci: author=Jonathan S. Ostroff
cover
Temporal Logic for Real-time Systems
Komentar Bagikan
Jonathan S. Ostroff

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.

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
230
Judul Seri
-
No. Panggil
27681
cover
Temporal Logic for Real-time Systems
Komentar Bagikan
Jonathan S. Ostroff

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.

Edisi
-
ISBN/ISSN
-
Deskripsi Fisik
232
Judul Seri
-
No. Panggil
27766