2 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
00DEFAULTTR
Yazdır
1. 
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings için kapak resmi
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Yazar 
Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Electronic Resources
Alıntı: 
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
2. 
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday için kapak resmi
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Yazar 
Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-319-30734-3
Format: 
Electronic Resources
Alıntı: 
Runtime Verification -- Proper Protocol -- A Compositional Approach to the Verification of Hybrid Systems
Tümünü Seç
2 sonuç bulundu Arama sonuçlarına abone ol

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope