DaftarIsitemplate

Call Number

004.21 Lam s

Title

Specifying systems: the TLA + language and tools for hadware and software engineers

Author

Lamport, Leslie;

Publisher

Boston: Addison Wesley, 2003

Subject

System design

Location

FASILKOM-UI;