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...

Olles dieđut

Furkejuvvon:
Bibliográfalaš dieđut
Searvvušdahkki: International Conference on Verified Software: Theories, Tools and Experiments ( Menlo Park, EUA)
Eará dahkkit: Cohen, Ernie (edición) (edición), Rybalchenko, Andrey (edición) (edición)
Materiálatiipa: Konfereansapublikašuvdna Girji
Giella:eaŋgalasgiella
Almmustuhtton: Heidelberg, Alemania : Springer, 2014, c2014
Ráidu:(Lecture Notes in Computer Science ; 8164)
Fáttát:
Liŋkkat:Ver documento en línea
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Interneahtta

Ver documento en línea
oažžasuvvan: IT2
Hildobáiki:
Libro en línea
Ejemplar 572777-1
Disponible
Préstamo en línea
Čoakkáldat:
Libros electrónicos en línea
Fuomášahttimat:
Consultar en línea