Summary goes here
Spremljeno u:
| Format: | Knjiga |
|---|---|
| Jezik: | engleski |
| Teme: | |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| 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 |