Proceedings of the ACM Sigsoft International Workshop on Formal Methods in Software Development, Napa, California, USA, 9-11 May 1990


ACM Sigsoft International Workshop on Formal Methods in Software Development
Bok Engelsk 1990

Detaljer

Bibliotek som har denne