Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
tarafından
 
Legay, Axel. editor.

Başlık
: 
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Yazar
: 
Legay, Axel. editor.

ISBN
: 
9783642407871

Fiziksel Tanımlama
: 
XVII, 426 p. 113 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 8174

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
: 
Bensalem, Saddek.

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

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


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