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. 
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ı: 
Handbook of Model Checking Clarke, Edmund M. editor.
2. 
Proof, language, and interaction : essays in honour of Robin Milner için kapak resmi
Proof, language, and interaction : essays in honour of Robin Milner
Proof, language, and interaction : essays in honour of Robin Milner
Yazar 
Plotkin, G. (Gordon), 1946-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426
Format: 
Electronic Resources
Alıntı: 
. Baeten, Sergey Berezin, J. A. Bergstra, Gřard Berry, Lars Birkedal, Gřard Boudol, Edmund Clarke, Pierre
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