Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /

Сохранить в:
Библиографические подробности
Главный автор: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (edición)
Формат:
Язык:английский
Опубликовано: Berlín, Alemania : Springer, 2013, c2013
Серии:(Lecture Notes in Computer Science)
Online-ссылка:Ver documento en línea
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Описание
Объем:1 libro electrónico en línea (IX, 241 p.)
1 recurso en línea
ISBN:978-3-642-40615-7
ISSN:1611-3349
Доступ:Licencias ilimitadas