Download formal specification techniques for engineering modular c programs 1st edition PDF/ePub eBooks with no limit and without survey . Instant access to millions of titles from Our Library and it’s FREE to try!

Note:! If the content not Found, you must refresh this page manually or just wait 15 second to this page refresh automatically. As alternative try our Book Search Engine, click here

Formal Specification Techniques For Engineering Modular C Programs


Author by : Tan Yang Meng
Languange Used : en
Release Date : 2012-12-06
Publisher by : Springer Science & Business Media




Larch Languages And Tools For Formal Specification


Author by : John V. Guttag
Languange Used : en
Release Date : 2012-12-06
Publisher by : Springer Science & Business Media




Fm 2005 Formal Methods


Author by : John Fitzgerald
Languange Used : en
Release Date : 2005-07-04
Publisher by : Springer Science & Business Media




Encyclopedia Of Information Science And Technology First Edition


Author by : Khosrow-Pour, Mehdi
Languange Used : en
Release Date : 2005-01-31
Publisher by : IGI Global