DaftarIsitemplate
Call Number
004 Bjo f
Title
Formal specification and software development/ Dines Bjorner
Author
Bjorner, Dines;
Publisher
Englewood Cliffs: New Jersey, 25 cm.
Subject
Electronic digital computers-programming
Location
FASILKOM-UI;