Yazar
Dusko Pavlovic
4 cilt bulundu.
Cilt sonuçları
Algebraic Methodology And Software Technology 13th International Conference Amast 2010 Lacbeauport Qc Canada June 2325 2010 Revised Selected Papers
Dusko Pavlovic · Springer
Sayfa sayısı yok · 2011
Logic design / Software engineering / Computer science / Artificial intelligence / Abstract data types (computer science)
Foundations of Security, Protocols, and Equational Reasoning
Joshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic · Springer
251 sayfa · 2019
Kategori yok