Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
tarafından
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872
Başlık
:
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Yazar
:
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872
ISBN
:
9783030310387
Basım Bilgisi
:
1st ed. 2019.
Fiziksel Tanımlama
:
XIV, 217 p. 932 illus., 30 illus. in color. online resource.
Seri
:
Theoretical Computer Science and General Issues ; 11885
Konu Terimleri
:
Computer logic.
Programming languages (Electronic computers).
Software engineering.
Computer organization.
Yazar Ek Girişi
:
Ribeiro, Pedro.
Sampaio, Augusto.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 485680-1001 | ONLINE | | Elektronik Kütüphane |