| VRSTA GRADIVA | monografska publikacija, tekstovno gradivo, tiskano, 2.02 - strokovna monografija |
| ISBN | 86-435-0155-7 |
| DRŽAVA IZIDA | Slovenija |
| LETO IZIDA | 1996 |
| JEZIK BESEDILA/IZVIRNIKA | angleški |
| PISAVA | latinica |
| VRSTA VSEBINE | zbornik |
| DELO IMA | ilustracije |
| KORPORACIJA(-E) | International Workshop on Applied Formal Methods in System Design ; 1996 ; Maribor // COST 247 |
| ODGOVORNOST | // Brezočnik, Zmago - urednik // Kapus, Tatjana - urednik |
| NASLOV | Proceedings of the COST 247 International Workshop on Applied Formal Methods in System Design, June 17 - 19, 1996, Maribor, Slovenia |
| IMPRESUM | Maribor : Faculty of Electrical Engineering and Computer Science, 1996 |
| TISKARNA | Maribor (Printing-office of Faculties of Technical Sciences) |
| FIZIČNI OPIS | . - 202 str. : ilustr. ; 30 cm |
| OPOMBE | 150 izv. // Abstract in bibliografija pri vsehprispevkih // Kazalo |
| OSTALI NASLOVI | Applied formal methods in system design |
| PREDMETNE OZNAKE | // Računalniške komunikacije - Programska oprema - Mednarodna posvetovanja |
| PREDMETNE OZNAKE | telekomunikacije // računalniške komunikacije // software // preverjanje // zanesljivost // zborniki // mednarodna posvetovanja |
| UDK | 681.3.02(063), 681.3.06(063), 621.39:681.324(063), 061.3(497.4 Maribor):681.3.06 |
| UDK ZA STATISTIKO | 681.3 |
| COBISSSI-ID | 40 |