3 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ç
000DEFAULTTR
Yazdır
1. 
Handbook of Model Checking için kapak resmi
Handbook of Model Checking
Handbook of Model Checking
Yazar 
Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
2. 
Software Fault Detection and Correction: Modeling and Applications için kapak resmi
Software Fault Detection and Correction: Modeling and Applications
Software Fault Detection and Correction: Modeling and Applications
Yazar 
Peng, Rui. author.
https://doi.org/10.1007/978-981-13-1162-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Modeling and Industrial Mathematics. http://scigraph.springernature.com/things/product
3. 
Formal Methods for Safety and Security Case Studies for Aerospace Applications için kapak resmi
Formal Methods for Safety and Security Case Studies for Aerospace Applications
Formal Methods for Safety and Security Case Studies for Aerospace Applications
Yazar 
Nanda, Manju. editor.
https://doi.org/10.1007/978-981-10-4121-1
Format: 
Electronic Resources
Alıntı: 
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Tümünü Seç
3 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