Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Format:: e-book
Title:: Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Author:: Bowen, Jonathan P.; Li, Qin; Xu, Qiwen
Language:: English
Publisher:: Springer 2023
ISBN:: 3-031-40435-1
3-031-40436-X
Permalink:: http://bibtest.howest.be/catalog/ebk03:28162831200041?locale=en