Başlık:
Temporal logic of programs
Yazar:
Kröger, Fred, 1945-
ISBN:
35401708
Yayın Bilgileri:
Berlin : Springer, 1987.
Fiziksel Tanımlama:
148 s.
Seri:
EATCS monographs on Theoretical Computer Science ; no : 8
Seri Başlığı:
EATCS monographs on Theoretical Computer Science ; no : 8
Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | Kitap | 7.2/12/574771 | QA 76.6 K753 1987 | Arıyor... | Arıyor... |