Resultados
|
|
1.
|
|
|
|
2.
|
Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao. por
- Davies, Jim [editor.]
- Silva, Leila [editor.]
- Simao, Adenilso [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6527
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings / edited by Jim Davies, Jeremy Gibbons. por
- Davies, Jim [editor.]
- Gibbons, Jeremy [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4591
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
