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...
Պահպանված է:
| Համատեղ հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | , |
| Ձևաչափ: | Գիտաժողովի նյութեր Գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| Շարք: | (Lecture Notes in Computer Science ;
8164) |
| Խորագրեր: | |
| Առցանց հասանելիություն: | Ver documento en línea |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Համացանց
Ver documento en línea| Դասիչ: |
Libro en línea
|
||
|---|---|---|---|
| Ejemplar 572777-1 |
Disponible
Préstamo en línea
|
Հավաքածու:
Libros electrónicos en línea
|
Նշումներ:
Consultar en línea
|