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. 
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows için kapak resmi
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
Yazar 
Guttman, Joshua D. editor.
https://doi.org/10.1007/978-3-030-19052-1
Format: 
Electronic Resources
Alıntı: 
. Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her
2. 
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi için kapak resmi
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
Yazar 
Iida, Shusaku. editor.
http://dx.doi.org/10.1007/978-3-642-54624-2
Format: 
Electronic Resources
Alıntı: 
Evidential Tool Bus (Extended Abstract) -- Synthesis of Infinite-State Abstractions and Their Use for
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