Full Description
This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022.
The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs.
-
- 電子書籍
- 好きになった人はアスペルガーでした コ…
-
- 電子書籍
- 盾の勇者の成り上がり【分冊版】 96 …
-
- 電子書籍
- ふれアイ番外編8 NETCOMICS
-
- 電子書籍
- ともだちテトラ!(1) 少年サンデーコ…



