Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
tarafından
 
Qadeer, Shaz. editor.

Başlık
: 
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Yazar
: 
Qadeer, Shaz. editor.

ISBN
: 
9783642356322

Fiziksel Tanımlama
: 
XII, 322 p. 93 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 7687

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

Yazar Ek Girişi
: 
Tasiran, Serdar.

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

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


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