Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /
This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008 The 68 revised full papers presented together with 2 invited talks and 1 keynote speec...
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Электронный ресурс eКнига |
| Язык: | English |
| Опубликовано: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| Редактирование: | 1st ed. 2008. |
| Серии: | Communications in Computer and Information Science,
17 |
| Предметы: | |
| Online-ссылка: | https://doi.org/10.1007/978-3-540-88479-8 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Ваш комментарий будет первым!