Integrated formal methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004 : proceedings
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4 7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of t...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلف مشترك: | |
| مؤلفون آخرون: | , |
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
2999 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Integrated formal methods, 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004, proceedings, Eerke A. Boiten, John Derrick, Graeme Smith (eds.), Berlin, Springer, 2004, 1 vol. (XI-540 p.), Lecture notes in computer science, 3-540-21377-5 • Integrated Formal Methods, Texte imprimé, 9783662170496 |