FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008
Автор:
Jorge Cuellar, Tom Maibaum
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.85
€
103.37 лв
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F...
