Using Z : specification, refinement, and proof


Jim Woodcock
Bok Engelsk 1996

Detaljer

Bibliotek som har denne