LEADER 03285nam  22006855  450 
001 9910483210903321
005 20230223135005.0
010   $a3-319-52228-0
024 7 $a10.1007/978-3-319-52228-9
035   $a(CKB)3710000001041240
035   $a(DE-He213)978-3-319-52228-9
035   $a(MiAaPQ)EBC6307045
035   $a(MiAaPQ)EBC5577406
035   $a(Au-PeEL)EBL5577406
035   $a(OCoLC)969740273
035   $a(PPN)198340346
035   $a(EXLCZ)993710000001041240
100   $a20170110d2017      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aUnifying Theories of Programming $e6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /$fedited by Jonathan P. Bowen, Huibiao Zhu
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (IX, 217 p. 36 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10134
311   $a3-319-52227-2 
327   $aAbstraction refinement -- Choice -- Termination -- Feasibility -- Locality.-Concurrency -- Communication. .
330   $aThis book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of combination of formal notations and theories of programming that define in various different ways many common notions, such as abstraction refinement, choice, termination, feasibility, locality, concurrency, and communication. They also show that despite many differences, such theories may be unified in a way that greatly facilitates their study and comparison. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10134
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aMachine theory
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aTheory of Computation
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aMachine theory.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aTheory of Computation.
676   $a005.1
702   $aBowen$b Jonathan P$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZhu$b Huibiao$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483210903321
996   $aUnifying Theories of Programming$9772720
997   $aUNINA