Idioma:

Formal methods foundations and applications

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Disponible en ICMC - Inst. Ciên. Mat. Computação (PROD-2213638 ) y otras localizaciones(Obténgalo)

Título:
Formal methods foundations and applications
Autor: Jim Davies
Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)
Materias: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
Es parte de: Proceedings Heidelberg : Springer
Notas: Disponível em: <http://dx.doi.org/10.1007/978-3-642-33296-8>. Acesso em: 4 out. 2011
Títulos relacionados: Serie:Lecture Notes in Computer Science 6527
Editor: Heidelberg Springer
Fecha de creación: 2011
Formato: 291 p.
Idioma: Inglés

Enlaces

Volver a la lista de resultados

Anterior Resultado 4 Siguiente Ir a la siguiente página