Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
tarafından
 
Abdulla, Parosh Aziz. editor.

Başlık
: 
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Yazar
: 
Abdulla, Parosh Aziz. editor.

ISBN
: 
9783642410369

Fiziksel Tanımlama
: 
XII, 223 p. 60 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 8169

Konu Terimleri
: 
Computer science.
 
Software engineering.
 
Computer software.
 
Logic design.
 
Logics and Meanings of Programs.
 
Mathematical Logic and Formal Languages.
 
Programming Languages, Compilers, Interpreters.
 
Algorithm Analysis and Problem Complexity.
 
Computation by Abstract Devices.

Yazar Ek Girişi
: 
Potapov, Igor.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
http://dx.doi.org/10.1007/978-3-642-41036-9


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