Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 8d9698a9-32db-436a-8823-74f40edc0c8a |
| isbn | 3540884785 9783540884781 |
| issn | |
| language | eng |
| physical | xiv, 869 pages ;23 cm. |
| publication | – publisher: Springer dateOfPublication: 2008 |
| publishDate | 2008 |
| subjects | |
| title | Leveraging applications of formal methods, verification and validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.). |
| topic | Formal methods (Computer science) Programmanalyse Programmverifikation Softwareentwicklung Systementwurf |