Summary goes here
Salvato in:
| Natura: | Libro |
|---|---|
| Lingua: | inglese |
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| 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 |