Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014, Proceedings
| Other Authors: | , |
|---|---|
| Language: | English |
| Published: |
Cham:
Springer International Publishing,
2015.
|
| Subjects: |
KOLEKSI TERBUKA
| Call Number: |
QA 76.9 .F6 2015 |
|---|
| Accession | Item Category | Format | Status | Notes |
|---|
| 1100095349 | Open Shelf | Book | AVAILABLE |