Formal methods and software engineering ... International conference on formal engineering methods, ICFEM ... : proceedings
Corporate Author: | |
---|---|
Format: | Serial |
Language: | Inglés |
Published: |
Berlin, [etc.] :
Springer
[199-?]-
|
Series: | Lecture notes in computer science ;
3308 |
Subjects: | |
See on Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991005416609706719 |
Item Description: | Descripció basada en: 6th (2004) |
---|---|
Physical Description: | També disponible en versió electrònica en línia per internet |
Publication Frequency: | Anual |
Bibliography: | Referències bibliogràfiques. Índex |