| Jenis Bahan |
Monograf |
| Judul |
Software prototyping formal methods and VDM /Sharam Hek-matpour, Darrel Ince |
| Judul Asli |
|
| Judul Seragam |
|
| Pengarang |
Hekmatpour, Sharam
Ince, Darrel
|
| Edisi |
|
| Pernyataan Seri |
International Computer Science Series |
| Penerbitan |
England : Addison Wesley Publishing, 1988
|
| Deskripsi Fisik |
x, 222 hlm. : ilus. ; 23 cm.
|
| Jenis Isi |
|
| Jenis Media |
|
| Jenis Wadah |
|
| Informasi Teknis |
|
| ISBN |
020117572 x
|
| ISSN |
|
| ISMN |
|
| Subjek |
- Perangkat lunak Komputer
|
| Abstrak |
|
| Catatan |
Indeks
Bibliografi : hlm. 138-153
|
| Bahasa |
Inggris |
| Bentuk Karya |
|
| Target Pembaca |
|
| Lokasi Akses Online |
|