Yazar
Ranjit Jhala
5 cilt bulundu.
Cilt sonuçları
Programming Languages and Systems
Ranjit Jhala · Imprint: Springer
395 sayfa · 2012
Mathematical Logic and Formal Languages / Programming Techniques / Software engineering / Systems and Data Security / Data protection
Compiler Construction
Ranjit Jhala · Imprint: Springer
265 sayfa · 2013
Software engineering / Operating systems (Computers) / Computer science / Operating Systems / Programming Languages, Compilers, Interpreters
Verification, Model Checking, and Abstract Interpretation
Ranjit Jhala · Springer Berlin Heidelberg
Sayfa sayısı yok · 2011
Logic design / Computer science / Software engineering / Computer software / Computer programs