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

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher o...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Bowen, Jonathan P. (Editor), Li, Qin (Editor), Xu, Qiwen (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 14080
Subjects:	Software engineering. Computer science. Software Engineering. Computer Science Logic and Foundations of Programming.
Online Access:	https://doi.org/10.1007/978-3-031-40436-8
Tags:	Add Tag No Tags, Be the first to tag this record!