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

Full text!
Type:
e-book
Titel:
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Auteur:
Bowen, Jonathan P.; Li, Qin; Xu, Qiwen
Taal:
Engels
Uitgever:
Springer 2023
ISBN:
3-031-40435-1
3-031-40436-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:28162831200041