Summary goes here
Spremljeno u:
| Format: | Knjiga |
|---|---|
| Jezik: | engleski |
| Teme: | |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| 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. |