Yazar
acm sigsoft international workshop on formal methods in software development 9 11 may
1 cilt bulundu.
Cilt sonuçları
Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development
ACM Sigsoft International Workshop on Formal Methods in Software Development (9-11 May, 1990 Napa, Calif.) · Association for Computing Machinery
149 sayfa · 1990
Development / Congresses / Computer software