On construction of correct programs as a two level process


Markku Syrjaenen
Bok Språk ikke angitt 1975

Detaljer

Bibliotek som har denne