Programming Logics

Programming Logics

Essays in Memory of Harald Ganzinger

przez Andrei Voronkov
3/5
Pierwsza opublikowana
Apr 03, 2013
Wydawcy
Springer

Książki

Podobne książki