Summary goes here
I tiakina i:
| Hōputu: | Pukapuka |
|---|---|
| Reo: | Ingarihi |
| Ngā marau: | |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
| 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. |