• https://carolinacleaningservice.com/
  • https://cbtmortgage.com/
    • Temporal Logic for Real-time Systems | Universitas Islam Bunga Bangsa Cirebon 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
    27766
    Tersedia
    Informasi Detail
    Judul Seri
    -
    No. Panggil
    27766
    Penerbit
    : John Wiley & Sons Incorporated.,
    Deskripsi Fisik
    232
    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