The Correctness problem in computer science


edited by R. S. Boyer and J. Strother Moore
Bok Engelsk 1981

Detaljer

Bibliotek som har denne