Summary goes here
Tallennettuna:
| Aineistotyyppi: | Kirja |
|---|---|
| Kieli: | englanti |
| Aiheet: | |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 710d0c9b-9a82-4eec-bac5-71a0d49ab0f6 |
| isbn | 9783642104527 3642104525 9788364210457 8364210459 |
| issn | |
| language | eng |
| physical | 1 online resource (x, 349 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2009 |
| publishDate | ©2009 |
| subjects | |
| title | Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.). |
| topic | Formal methods (Computer science) Méthodes formelles (Informatique) Informatique. Formal methods (Computer science) Fehlertoleranz Formale Methode InterruptInformatik Model Checking Programmverifikation Sicherheitskritisches System Testen Verifikation Software Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Gramado (2009) Kongress (2009) Online-Publikation. Kongress. |