Formal Program Construction by Trans Formations Computer Aided, Intuition Guided Programming

By: Material type: ArticleArticleDescription: 165-180 pSubject(s): In: IEEE Transactions on Software Engineering
Holdings
Item type Current library Call number Vol info Status Date due Barcode
Articles Articles Periodical Section Vol.15, No.02 (Feb. 1989) Available

Visit counter For Websites

Copyright © 
Engr Abul Kalam Library, NEDUET, 2024