Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers
| Other Authors: | , |
|---|---|
| Language: | English |
| Published: |
Cham Heidelberg:
Springer,
2015.
|
| Series: | Lecture Notes in Computer Science
|
| Subjects: |
KOLEKSI TERBUKA
| Call Number: |
QA 76.758 .S64 2015 |
|---|
| Accession | Item Category | Format | Status | Notes |
|---|
| 1100095362 | Open Shelf | Book | AVAILABLE |
| 1100095355 | Open Shelf | Book | AVAILABLE |