Call Number | 005.133 Bow z |
Collection Type | Indeks Artikel LNCS |
Title | A Course on formal methods in software engineering matching requirements with design (LNCS-Lecture Notes in Computer Science, 967), Hal. 482-496 |
Author | Paolo ciancarini and Paolo Ciaccia; |
Publisher | Springer, 1995 |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
005.133 Bow z | TERSEDIA |