Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 004 Woo f |
| Collection Type | Buku |
| Title | FME'93: Industrial-strength formal methods: First Internationl Symposium of formal methods Europe-Odense, Denmark ,April 1993 |
| Author | Woodcock, J.C.P.; |
| Publisher | Berlin:Springer-Verlag;1993 |
| Subject | Industrial-Strength; Formal methods |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 004 Woo f | 97/7689 | TERSEDIA |