Комментарии: Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / Francesco Logozzo, Manuel Fähndrich (eds.).

Summary goes here

Сохранить в:

Библиографические подробности
Формат:	‌
Язык:	английский
Предметы:	Computer programming Software engineering Software Programmation (Informatique) Génie logiciel Logiciels. software. Computer science. Software engineering. Logic design. Logics and Meanings of Programs. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Programming Techniques. computerwetenschappen computer sciences programmeertalen programming languages programmeren programming wiskunde mathematics logica logic Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Ваш комментарий будет первым!