The Construction Of Formal Specifications An Introduction To The Model Based And Algebraic Approaches The Mcgraw Hill International Series In
Available in PDF, ePub, and Doc!(Get 14 Days Free Access to Download or Read Online)
Hash File : 39d68cb87009cd171b0779b9fa0de608.pdf Uploaded : 06, June 2019 Last Checked : 10 Minutes ago!
formal specifications are one such which is ultimately transformed into an implementation that is correct by construction formal specification techniques...