4 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ç
0000DEFAULTTR
Yazdır
3. 
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers için kapak resmi
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Yazar 
Przigoda, Nils. author.
https://doi.org/10.1007/978-3-319-72814-8
Format: 
Electronic Resources
Alıntı: 
Processor Architectures. http://scigraph.springernature.com/things/product-market-codes/I13014
4. 
Automatic Methods for the Refinement of System Models From the Specification to the Implementation için kapak resmi
Automatic Methods for the Refinement of System Models From the Specification to the Implementation
Automatic Methods for the Refinement of System Models From the Specification to the Implementation
Yazar 
Seiter, Julia. author.
https://doi.org/10.1007/978-3-319-41480-5
Format: 
Electronic Resources
Alıntı: 
Processor Architectures. http://scigraph.springernature.com/things/product-market-codes/I13014
Tümünü Seç
4 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