Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and  2 tutorials were carefully reviewed...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Müşterek Yazar: SpringerLink (Online service)
Diğer Yazarlar: Tasiran, Serdar, Qadeer, Shaz
Materyal Türü: Ekitap
Dil:English
Baskı/Yayın Bilgisi: Berlin, Heidelberg Springer Berlin Heidelberg 2013.
Seri Bilgileri:Lecture Notes in Computer Science 7687
Konular:
Online Erişim:Click here to view the full text content
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

Sistem Bakımda

Kütüphane sistemimiz bakımda.

Kopya kayıtları ve kayıların durum bilgileri şu anda erişilebilir değil. Bunun için özür dileriz, daha fazla yardım için bizimle irtibata geçebilirsiniz:

david@pintaran.my

Internet

Click here to view the full text content