LEADER 03228nam  22006975  450 
001 996466428803316
005 20240112224932.0
010   $a3-030-31038-8
024 7 $a10.1007/978-3-030-31038-7
035   $a(CKB)4100000009362656
035   $a(DE-He213)978-3-030-31038-7
035   $a(MiAaPQ)EBC5924396
035   $a(PPN)255469675
035   $a(EXLCZ)994100000009362656
100   $a20190911d2019      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aUnifying Theories of Programming$b[electronic resource] $e7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings /$fedited by Pedro Ribeiro, Augusto Sampaio
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XIV, 217 p. 932 illus., 30 illus. in color.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11885
311 0 $a3-030-31037-X 
327   $aUnification Approaches -- Hybrid Models -- Concurrency.
330   $aThis volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community. One of the papers is from the distinguished invited speaker Tony Hoare himself. Nine other additional papers compose this volume, covering several aspects of Unifying Theories of Programming.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11885
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aComputer science$xMathematics
606   $aComputer engineering
606   $aComputer networks
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aMathematics of Computing
606   $aComputer Engineering and Networks
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aComputer science$xMathematics.
615  0$aComputer engineering.
615  0$aComputer networks.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aMathematics of Computing.
615 24$aComputer Engineering and Networks.
676   $a005.1
702   $aRibeiro$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSampaio$b Augusto$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466428803316
996   $aUnifying Theories of Programming$9772720
997   $aUNISA