Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday Paperback - 2023
by Jonathan P. Bowen (Editor); Qin Li (Editor); Qiwen Xu (Editor)
- New
- Paperback
A$137.02
A$15.57
Delivery to USA
Standard delivery: 7 to 12 days
More delivery options
Standard delivery: 7 to 12 days
Ships from Ria Christie Collections (Greater London, United Kingdom)
Details
- Title Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
- Author Jonathan P. Bowen (Editor); Qin Li (Editor); Qiwen Xu (Editor)
- Binding Paperback
- Condition New
- Pages 413
- Volumes 1
- Language ENG
- Publisher Springer
- Publication date 2023-08-10
- Illustrated Yes
- Features Illustrated
- Bookseller's Inventory # ria9783031404351_inp
- ISBN 9783031404351 / 3031404351
- Weight 1.31 lbs (0.59 kg)
- Dimensions 9.21 x 6.14 x 0.87 in (23.39 x 15.60 x 2.21 cm)
- Category Computers - Languages / Programming
- Quantity available 404
About Ria Christie Collections Greater London, United Kingdom
Biblio member since 2014
Hello We are professional online booksellers. We sell mostly new books and textbooks and we do our best to provide a competitive price. We are based in Greater London, UK. We pride ourselves by providing a good customer service throughout, shipping the items quickly and replying to customer queries promptly. Ria Christie Collections
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
Reader reviews for Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Write a review for this book
Important Terms and Guidelines
- Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
- Reviews must be at least 140 characters in length.
- Please do not reveal critical plot elements.
- This is not a help line. Contact customer support if you need help.
Your review must not include:
- Obscenities, discriminatory language, or other insulting language not suitable for public domain
- Advertisements, “spam” content, or references to other products, offers or websites.
- Email addresses, URLs, phone numbers, physical addresses or other contact information.
- Overly critical comments about other reviews or reviewers
- Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
- Availability, price, or alternative ordering/shipping information
From the publisher
From the rear cover
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 inthe 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.
