Dynamic logic
tarafından
 
Harel, David, 1950-

Başlık
: 
Dynamic logic

Yazar
: 
Harel, David, 1950-

ISBN
: 
9780262274951

Yayın Bilgileri
: 
Cambridge, Mass. : MIT Press, 2000.

Fiziksel Tanımlama
: 
1 online resource (xv, 459 p.) : ill.

Seri
: 
Foundations of computing.

Seri Başlığı
: 
Foundations of computing.

Konu Terimleri
: 
Computer logic.
 
Formal methods (Computer science)

Yazar Ek Girişi
: 
Kozen, Dexter, 1951-
 
Tiuryn, Jerzy.

Elektronik Erişim
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap219967-1001ONLINEElektronik Kütüphane