DaftarIsitemplate |
Call Number |
005.131 Bro f |
Title |
Formal systems specification: the RPC memory specification case study/Manfred Broy |
Author |
Broy, Manfred; |
Publisher |
Berlin Springer-Verlag 1996 |
Subject |
Programming languages(Electronic computers) |
Location |
FASILKOM-UI; |