Verified Software : Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : Revised Selected Papers /

Selección de ponencias de la quinta Conferencia Internacional sobre Software Verificado: Teorías, Herramientas y Experimentos, celebrada en Menlo Park, EUA, en mayo de 2013. Los artículos dan cuenta de una amplia gama de temas relacionados con el desarrollo de sistemas, entre los que destacan, lengu...

Полное описание

Сохранить в:
Библиографические подробности
Соавтор: International Conference on Verified Software: Theories, Tools and Experiments ( Menlo Park, EUA)
Другие авторы: Cohen, Ernie (edición) (edición), Rybalchenko, Andrey (edición) (edición)
Формат: Материалы конференции
Язык:английский
Опубликовано: Heidelberg, Alemania : Springer, 2014, c2014
Серии:(Lecture Notes in Computer Science ; 8164)
Предметы:
Online-ссылка:Ver documento en línea
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!

Internet

Ver documento en línea
Подробно о фондах из IT2
Шифр:
Libro en línea
Ejemplar 572777-1
Disponible
Préstamo en línea
Коллекция:
Libros electrónicos en línea
Примечания:
Consultar en línea