Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014 York, UK, July 24-25, 2014 : Proceedings /
Selección de ponencias de la octava Conferencia Internacional sobre Pruebas y Demostraciones, celebrada en York, Inglaterra, en julio de 2014. Los artículos cubren temas en las siguientes cuatro áreas de investigación: generación de pruebas, reducción de brechas semánticas, procesos de desarrollo in...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Actes de congresos Llibre |
| Idioma: | anglès |
| Publicat: |
Cham, Suiza :
Springer,
2014, c2014
|
| Col·lecció: | (Lecture Notes in Computer Science ;
8570) |
| Matèries: | |
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Sistema fora de servei per tasques de manteniment
El catàleg està fora de servei temporalment per tasques de manteniment
La informació de disponibilitat dels exemplars no està disponible en aquests moments, sentim les inconveniències: