Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
tarafından
 
Bowen, Jonathan P. editor.

Başlık
: 
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Yazar
: 
Bowen, Jonathan P. editor.

ISBN
: 
9783031404368

Basım Bilgisi
: 
1st ed. 2023.

Fiziksel Tanımlama
: 
XIV, 413 p. 92 illus., 63 illus. in color. online resource.

Seri
: 
Lecture Notes in Computer Science, 14080

İçerik
: 
Jifeng He's Research Influence -- Oxford Colleagues -- ProCoS Colleagues -- Chinese Colleagues -- European Colleagues -- The Future Roadmap.

Yazar Ek Girişi
: 
Bowen, Jonathan P.
 
Li, Qin.
 
Xu, Qiwen.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-031-40436-8


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap521129-1001ONLINEElektronik Kütüphane