Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Jonathan P. Bowen, Qin Li, Qiwen Xu
Informasi Umum
Kode
24.09.025
Klasifikasi
005.2 - Programming for specific types of computers, for specific operating systems, for specific user interfaces
Jenis
Buku - Elektronik (E-Book)
Subjek
Programming For Spesific Computers
No. Rak
Tel-U Gedung Manterawu Lantai 5 : Rak 2
Tel-U Purwokerto : Rak 2
Dilihat
88 kali
Informasi Lainnya
Abstraksi
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.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Jonathan P. Bowen, Qin Li, Qiwen Xu |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer Nature Switzerland |
| Kota | Switzerland |
| Tahun | 2023 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 1.000,00 |
| Jenis | Non-Sirkulasi |
