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;