Summary goes here
-д хадгалсан:
| Формат: | Ном |
|---|---|
| Хэл сонгох: | англи |
| Нөхцлүүд: | |
| Шошгууд: |
Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | a3457514-50d2-4b8a-a17d-c99ddcbafd17 |
| isbn | 9783540884798 3540884793 1281872105 9781281872104 9786611872106 6611872108 9788354088479 8354088472 |
| issn | |
| language | eng |
| physical | 1 online resource |
| publication | – publisher: Springer dateOfPublication: ©2008 |
| publishDate | ©2008 |
| subjects | |
| title | Leveraging applications of formal methods, verification and validation. Tiziana Margaria, Bernhard Steffen (Eds.). Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / |
| topic | Software engineering Génie logiciel COMPUTERS Programmverifikation Softwareentwicklung Systementwurf Formal methods (Computer science) Programmanalyse Informatique. Software engineering Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |