Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
<p>This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012.</p><p>The 20 revised full papers presented together with 2 invited talks and 2 tutorials w...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | eBook |
| Idioma: | English |
| Publicat: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2012.
|
| Col·lecció: | Lecture Notes in Computer Science,
7152 |
| Matèries: | |
| Accés en línia: | Click here to view the full text content |
| Etiquetes: |
Afegir etiqueta
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: