Formal specification and documentation using Z : a case study approach


Jonathan P. Bowen
Bok Engelsk 1996

Detaljer

Bibliotek som har denne