Yazar
markus muller olm
4 cilt bulundu.
Cilt sonuçları
Variations on Constants
Markus Müller-Olm · Springer
177 sayfa · 2006
Constantes (Mathématiques) / Exactitude / Computer programs / Correctness / Programmation parallèle (Informatique)
Modular compiler verification
Markus Müller-Olm · Springer
250 sayfa · 1997
Compilers (Computer programs) / Verification / Computer software / Computer software, verification / Computer science
Static Analysis
Markus Müller-Olm, Helmut Seidl · Springer London, Limited
346 sayfa · 2014
Computer programming / Programming languages (electronic computers) / Software engineering / Computer science / Logic design
