Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980


Symposium on Logics of Programs and their Applications
Bok Engelsk 1983

Detaljer

Bibliotek som har denne