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 | c96c0468-cf5f-4e38-88b2-ea25cf3c1d4a |
| isbn | 9783642392771 3642392776 3642392768 9783642392764 |
| issn | |
| language | eng |
| physical | 1 online resource (x, 149 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: 2013 |
| publishDate | 2013 |
| subjects | |
| title | Structured object-oriented formal language and method : second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised selected papers / Shaoying Liu (ed.). |
| topic | Formal methods (Computer science) Object-oriented programming (Computer science) Software Méthodes formelles (Informatique) Programmation orientée objet (Informatique) Logiciels. software. Formal methods (Computer science) Object-oriented programming (Computer science) computerwetenschappen computer sciences programmeertalen programming languages programmeren programming wiskunde mathematics logica logic computernetwerken computer networks software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |