Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers /: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers. (2017)

• Record Type: Book
• Other Titles: UTP 2016
• Further Information: Note: Edited by Jonathan P. Bowen, Huibiao Zhu.
• Editors: Bowen, J. P (Jonathan Peter), 1956-; Zhu, Huibiao
• Other Names: UTP (Symposium), 6th
• Contents: Abstraction refinement -- Choice -- Termination -- Feasibility -- Locality.-Concurrency -- Communication.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (ix, 217 pages), illustrations
• Subjects: 005.1; Computer science; Computer programming -- Congresses; Computer programming; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Computers -- Programming Languages -- General; Computers -- Software Development & Engineering -- General; Mathematics -- Logic; Computers -- Machine Theory; Programming & scripting languages: general; Software Engineering; Mathematical theory of computation; User interface design & usability; Logic design; Software engineering; Computers -- Programming -- General; Computer programming / software development; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319522289; 3319522280
• Related ISBNs: 9783319522272; 3319522272
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed January 23, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.