MathematicsofProgramConstruction9thInternationalConferenceMPC2008MarseilleFranceJuly15-182008.Procee...（RalfHinze(auth.)PhilippeAudebaudChristineP...）（Springer-VerlagBerlinHeidelberg2008）

  • 书名：Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
  • 出版社：Springer-Verlag Berlin Heidelberg
  • 作者：Ralf Hinze (auth.), Philippe Audebaud, Christine Paulin-Mohring (eds.)
  • 出版年份：2008
  • 电子书格式： pdf
  • 简介：Explore the mathematical foundations of program construction in this 2008 proceedings from the 9th International Conference on Mathematics of Program Construction (MPC). Delve into cutting-edge research on program verification, program analysis, and the design of formal methods for constructing reliable software. Discover how mathematical principles are applied to address real-world programming challenges, focusing on the theoretical underpinnings of software construction.
  • ISBN：9783540705932, 35407
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。