5 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ç
00000DEFAULTTR
Yazdır
1. 
Provably Correct Systems için kapak resmi
Provably Correct Systems
Provably Correct Systems
Yazar 
Hinchey, Mike. editor.
https://doi.org/10.1007/978-3-319-48628-4
Format: 
Electronic Resources
Alıntı: 
Provably Correct Systems Hinchey, Mike. editor.
2. 
Autonomy Requirements Engineering for Space Missions için kapak resmi
Autonomy Requirements Engineering for Space Missions
Autonomy Requirements Engineering for Space Missions
Yazar 
Vassev, Emil. author.
http://dx.doi.org/10.1007/978-3-319-09816-6
Format: 
Electronic Resources
Alıntı: 
Hinchey, Mike. author.
5. 
Formal methods for industrial critical systems : a survey of applications için kapak resmi
Formal methods for industrial critical systems : a survey of applications
Formal methods for industrial critical systems : a survey of applications
Yazar 
Gnesi, Stefania, 1954-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Format: 
Electronic Resources
Alıntı: 
FOREWORD by Mike Hinchey xiii -- FOREWORD by Alessandro Fantechi and Pedro Merino xv -- PREFACE
Tümünü Seç
5 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

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

Powered by Informascope