Komendantskaya, Ekaterina (redaktør)

Mathematics of Program Construction e-bog

473,39 DKK (inkl. moms 591,74 DKK)

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 compute...

E-bog 473,39 DKK

Kan læses i vores apps til iPhone/iPad og Android.

Forfattere Komendantskaya, Ekaterina (redaktør)

Forlag Springer

Udgivet 21 september 2022

Genrer UKN

Sprog English

Format epub

Beskyttelse LCP

ISBN 9783031169120

Beskrivelse

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.