Formal methods and software engineering ... International conference on formal engineering methods, ICFEM ... : proceedings
Autor Corporativo: | |
---|---|
Formato: | Seriadas |
Idioma: | Inglés |
Publicado: |
Berlin, [etc.] :
Springer
[199-?]-
|
Colección: | Lecture notes in computer science ;
3308 |
Materias: | |
Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991005416609706719 |
Notas: | Descripció basada en: 6th (2004) |
---|---|
Descripción Física: | També disponible en versió electrònica en línia per internet |
Frecuencia de Publicación: | Anual |
Bibliografía: | Referències bibliogràfiques. Índex |