Summary goes here
Shranjeno v:
| Format: | Knjiga |
|---|---|
| Jezik: | angleščina |
| Teme: | |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 614d86d8-e969-456a-b1f1-86f116677dd3 |
| isbn | 9783540204619 (alk. paper) |
| issn | |
| language | eng |
| physical | xi, 681 pages :illustrations ;24 cm |
| publication | – publisher: SpringerVerlag dateOfPublication: ©2003 |
| publishDate | ©2003 |
| subjects | |
| title | Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings / Jin Song Dong, Jim Woodcock (eds.). |
| topic | Formal methods (Computer science) Software engineering |