A programming logic : with an introduction to the PL/CV verifier


R. L. Constable
Bok Engelsk 1978

Detaljer

Bibliotek som har denne