Summary goes here
Guardat en:
| Format: | Llibre |
|---|---|
| Idioma: | anglès |
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 56175bdb-e752-4c76-9a6d-67c65e072364 |
| isbn | 9783642169014 3642169015 128039028X 9781280390289 9786613568205 6613568201 |
| issn | |
| language | eng |
| physical | 1 online resource (xiv, 712 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: 2010 |
| publishDate | 2010 |
| subjects | |
| title | Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings / Jin Song Dong, Huibiao Zhu (eds.). |
| topic | Formal methods (Computer science) Software engineering Méthodes formelles (Informatique) Génie logiciel Informatique. Formal methods (Computer science) Software engineering Softwareentwicklung Formale Methode Entscheidungsverfahren Programmverifikation Programmanalyse Softwaretest Model Checking Serviceorientierte Architektur Web Services Leistungsbewertung Schanghai <2010> proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |