Formal program development : IFIP TC 2/WG 2.1 state-of-the-art report


Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
Bok Engelsk 1993

Detaljer

Bibliotek som har denne