Mechanized reasoning and hardware design


edited by C. A. R. Hoare and M. J. C. Gordon
Bok Engelsk 1992

Detaljer

Bibliotek som har denne