Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings
暫譯: 程式建構的數學：第十三屆國際會議，MPC 2019，葡萄牙波爾圖，2019年10月7-9日，會議論文集

Hutton, Graham

Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings
  • 出版商: Springer
  • 出版日期: 2019-10-20
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 467
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030336352
  • ISBN-13: 9783030336356

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019.

The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 22 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.


商品描述(中文翻譯)

本書為第十三屆國際程式構造數學會議（MPC 2019）的經過審核的會議論文集，該會議於2019年10月在葡萄牙波爾圖舉行。

本書收錄了15篇經過修訂的完整論文及一篇邀請論文，這些論文是從22篇投稿中仔細審核和選出的。這些論文探討了構建電腦程式的數學原則和技術，涵蓋了從算法學到支援程式構造的程式語言和系統。一些典型的領域包括類型系統、程式分析與轉換、程式語言語義、安全性以及程式邏輯。

類似商品

最後瀏覽商品 (14)