
Lectures on Runtime Verification
Introductory and Advanced Topics
Özet
Bu kitap hakkında
- Dil:English
- ISBN:9783319756325
- Yayın tarihi:10 Şub 2018
- Yayınevi:Springer International Publishing
- Baskı:Springer
- Dosya Biçimi:EPUB2
- Dosya boyutu:2.58 MB
- İndirme seçenekleri:EPUB2 (Adobe DRM)
Bu seride
From Reactive Systems to Cyber-Physical Systems
Ezio Bartocci,Rance Cleaveland,Radu Grosu,Oleg Sokolsky





















































