Proof in VDM : case studies


· J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.]
Bok Engelsk 1998

Detaljer

Bibliotek som har denne