Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 80th Birthday LNCS 14080(1st Edition)
Authors:
Jonathan P. Bowen ,Qin Li ,Qiwen Xu
In Stock
Include with your book
Free shipping: April 06, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 3031404351, 978-3031404351
Book publisher: Springer
Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 80th Birthday LNCS 14080 1st Edition Summary: 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 on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences.The first paper in the volume provides an overview of Jifeng’s research contributions, especially in the area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng’s recent roadmap for UTP.
Customers also bought these books
OpenMP Shared Memory Parallel Programming International Workshop On OpenMP Applications And Tools WOMPAT 2001 West Lafayette IN USA July 2001 LNCS 2104 - 1st Edition
Rudolf Eigenmann
ISBN: 354042346X, 978-3540423461
$0 $12.87Frequently Bought Together
Marketing Management Knowledge and Skills - 11th edition
J. Paul Peter
ISBN: 77861051, 978-0077861056
$0 $107.35
Veregen Drug Profile 2024 Veregen Drug Patents Fda Exclusivity Litigation Drug Prices Sales Revenues - 1st Edition
Drugpatentwatch
ISBN: B0CS6Q6FHZ, 979-8875841705
$0 $249.00
Programming Logic & Design Comprehensive - 9th edition
Joyce Farrell
ISBN: 978-1337102070
$0 $149.95
Financial Management Core Concepts - 4th Edition
Raymond Brooks
ISBN: 134730417, 134730410, 978-0134730417
$0 $159.99
Fufuyo Fast Baiting Multifunction Live Worms Stainless Steel Fishing Equipment Size 3.46x0.90inch -
Fufuyo
ISBN: B0C6G5S3L9
$0 $79.00Top Reviews for Books
