Summary goes here
Saved in:
| Format: | Bog |
|---|---|
| Sprog: | engelsk |
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 7bd83c11-adaf-4e65-83f5-db7b14af20da |
| isbn | 9783642047619 3642047610 |
| issn | |
| language | eng |
| physical | 1 online resource (xi, 414 pages) :illustrations |
| publication | – publisher: SpringerVerlag dateOfPublication: ©2009 |
| publishDate | ©2009 |
| subjects | |
| title | Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.). |
| topic | Automatic theorem proving Artificial intelligence Théorèmes Intelligence artificielle Informatique. Artificial intelligence Automatic theorem proving Eingebettetes System Formale Methode Hardwareentwurf Hybrides System Model Checking Softwareentwicklung Systemanalyse Systementwurf Verifikation Zeitbehafteter Automat Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Kongress. Macao (2009) |