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
by
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872
Title
:
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
Author
:
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872
ISBN
:
9783030310387
Edition
:
1st ed. 2019.
Physical Description
:
XIV, 217 p. 932 illus., 30 illus. in color. online resource.
Series
:
Theoretical Computer Science and General Issues ; 11885
Subject Term
:
Computer logic.
Programming languages (Electronic computers).
Software engineering.
Computer organization.
Added Author
:
Ribeiro, Pedro.
Sampaio, Augusto.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 485680-1001 | ONLINE | | Elektronik Kütüphane |