Formal Foundations for Software Engineering Methods

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Formal Foundations for Software Engineering Methods

作者：

H Hußmann

摘要：

Logics of Programs, as a field of study, touches on a wide variety of activities in computer science and mathematics. It draws on mathematical foundations of formal logic, semantics, and complexity theory, and finds practical application in the areas of program specification, verification, and programming language design. The Logics of Programs Workshop was conceived as a forum for the informal sharing of problems. results, techniques, and new applications in these areas, with special emphasis on bridging whatever abyss may exist between the theoreticians and the pragmatists. The workshop was held on June 6-8, 1983 at CArnegie Mellon University. 38 technical papers were presented, representing the entire spectrum activity in Logics of Programs from model theory to languages for the design of digital circuits.

展开��

出版时间：

01/01/1997

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏1 回帖

关键词：Foundations Engineering engineerin foundation software

点个赞感谢分享