Summary goes here
Sparad:
| Materialtyp: | Bok |
|---|---|
| Språk: | engelska |
| Ämnen: | |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | d55573f3-06d2-4fb7-8a35-2ced62d88989 |
| isbn | 9783540489283 3540489282 |
| issn | |
| language | eng |
| physical | viii, 196 pages :illustrations ;24 cm. |
| publication | – publisher: Springer dateOfPublication: 2006 |
| publishDate | 2006 |
| subjects | |
| title | Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers / Tiziana Margaria, Bernhard Steffen (eds.). |
| topic | Formal methods (Computer science) Conference papers and proceedings. |