Summary goes here
שמור ב:
| פורמט: | ספר |
|---|---|
| שפה: | אנגלית |
| נושאים: | |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
| 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. |