Titlebook: Mathematics of Program Construction; 14th International C Ekaterina Komendantskaya Conference proceedings 2022 The Editor(s) (if applicable

Inexorable

burnish

OPINE

Jeremy Gibbons,Donnacha Oisín Kidney,Tom Schrijvers,Nicolas Wuuction into the subject while some others form an advanced textbook. The intended audience is graduate and PhD students and researchers in the theory of partial differential equations or in mathematical modelling of distributed parameter systems..978-3-7643-7397-9Series ISSN 0373-3149 Series E-ISSN 2296-6072

腼腆

aspersion

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626959.jpg

keloid

Bouquet

0302-9743 n 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..978-3-031-16911-3978-3-031-16912-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

Anticoagulants

https://doi.org/10.1007/978-3-031-16912-0artificial intelligence; automata theory; computer networks; computer programming; computer systems; data

改变立场

978-3-031-16911-3The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl

万花筒

Mathematics of Program Construction978-3-031-16912-0Series ISSN 0302-9743 Series E-ISSN 1611-3349