Summary goes here
שמור ב:
| פורמט: | ספר |
|---|---|
| שפה: | אנגלית |
| נושאים: | |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | dc0491b2-ddaa-40c4-bad4-d1fb9211e7ec |
| isbn | 9783540316220 3540316221 3540311394 9783540311393 |
| issn | |
| language | eng |
| physical | 1 online resource (xi, 442 pages) :illustrations |
| publication | – publisher: SpringerVerlag dateOfPublication: 2006 |
| publishDate | 2006 |
| subjects | |
| title | Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. |
| topic | Computer programs Logiciels COMPUTERS Informatique. Computer programs Abstrakte Interpretation Formale Methode Model Checking Programmanalyse Programmverifikation Congress Conference papers and proceedings. Conference papers and proceedings. Actes de congrès. Charleston (SC, 2006) Kongress. |