DaftarIsitemplate |
Call Number |
005.133 Bow z |
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 |