Summary goes here
Saved in:
| Format: | Bog |
|---|---|
| Sprog: | engelsk |
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | d3ea3fcb-90e0-4f4e-b295-b8e496a32378 |
| isbn | 9783540238416 |
| issn | |
| language | eng |
| physical | xiii, 500 pages :illustrations ;24 cm |
| publication | – publisher: Springer dateOfPublication: ©2004 |
| publishDate | ©2004 |
| subjects | |
| title | Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.). |
| topic | Formal methods (Computer science) Software engineering |