Formal specification and software development


Dines Bjørner
Bok Engelsk 1982

Detaljer

Bibliotek som har denne