Самая большая электронная библиотека рунета. Поиск книг и журналов
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings
Автор: Margaria, Автор: Tiziana; Steffen, Автор: Bernhard
Показаны не все результаты, удовлетворяющие запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.
|