349 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
0DEFAULTTR
Yazdır
349. 
Dynamic logic için kapak resmi
Dynamic logic
Dynamic logic
Yazar 
Harel, David, 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Electronic Resources
Tümünü Seç
349 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(348)
Ölveczky, Peter Csaba. editor.
(5)
Artho, Cyrille. editor.
(4)
Kroening, Daniel. editor.
(4)
Lanese, Ivan. editor.
(4)
Format
Dil
English
(349)
Basım Yılı
2000
(1)
2014
(100)
2015
(94)
2016
(80)
2019
(74)
Konu
Logics and Meanings of Programs.
(337)
Computer science.
(271)
Software engineering.
(257)
Mathematical logic.
(211)
Mathematical Logic and Formal Languages.
(208)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope