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)
Խորագրեր:	Código Fuente Lenguajes de Programación Programación Estructurada (Software) Programación Lógica (Software) Paquetes (Software) - > Prueba y Medición Programación (Software) - > Tema Principal Ingeniería de Software - > Tema Principal Desarrollo de Sistemas - > Congresos - > Tema Principal Sistemas Computacionales Ingeniería Computacional
Առցանց հասանելիություն:	Ver documento en línea
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!