Program verification : fundamental issues in computer science


edited by Timothy R. Colburn, James H. Fetzer and Terry L. Rankin
Bok Engelsk 1993

Detaljer

Bibliotek som har denne