Summary goes here
محفوظ في:
| التنسيق: | كتاب |
|---|---|
| اللغة: | الإنجليزية |
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| 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. |