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.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-031-40436-8Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 521129-1001 | ONLINE | Arıyor... | Arıyor... |