Temporal logic of programs
tarafından
 
Kröger, Fred, 1945-

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

Konu Terimleri
: 
ELEKTRONİK SAYISAL BİLGİSAYARLAR -- PROGRAMLAMA.
 
MANTIK, SEMBOLİK VE MATEMATİKİ.


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Beytepe KütüphanesiKitap7.2/12/574771QA 76.6 K753 1987Beytepe Genel Koleksiyon