Yazar
Roberto Giacobazzi
5 cilt bulundu.
Cilt sonuçları
Verification, Model Checking, and Abstract Interpretation
Roberto Giacobazzi · Imprint: Springer
562 sayfa · 2013
Mathematical Logic and Formal Languages / Software engineering / Computer Communication Networks / Logic design / Logics and Meanings of Programs
POPL'13
Roberto Giacobazzi · Association for Computing Machinery
Sayfa sayısı yok · 2013
Programming languages (electronic computers)
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Pedro Lopez-Garcia, Gallagher, John P., Roberto Giacobazzi · Springer
Sayfa sayısı yok · 2023
Computer programming / Computer software, development