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. 
Separation Logic for High-level Synthesis için kapak resmi
Separation Logic for High-level Synthesis
Separation Logic for High-level Synthesis
Yazar 
Winterstein, Felix. author.
https://doi.org/10.1007/978-3-319-53222-6
Format: 
Electronic Resources
Alıntı: 
Separation Logic for High-level Synthesis Winterstein, Felix. author.
2. 
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings için kapak resmi
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Yazar 
Rayadurgam, Sanjai. editor.
http://dx.doi.org/10.1007/978-3-319-40648-0
Format: 
Electronic Resources
Alıntı: 
-- Specification and Proof of High-Level Functional Properties of Bit-Level Programs -- Formal Verification of an
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