Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983


edited by Edmund Clarke and Dexter Kozen
Bok Engelsk 1984

Detaljer

Bibliotek som har denne