Reasoning About Program Transformations: Imperative Programming and Flow of Data 著者: Jean-Francois Collard 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Reasoning About Program Transformations : 9780387224619, 0387224610 および 印刷版のISBNは 9780387953915, 0387953914. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
Reasoning About Program Transformations: Imperative Programming and Flow of Data 著者: Jean-Francois Collard 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Reasoning About Program Transformations : 9780387224619, 0387224610 および 印刷版のISBNは 9780387953915, 0387953914. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
