Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
Der Band fasst die ausgewählten Beiträge des sechsten internationalen Symposiums zur Vereinheitlichung von Programmiertheorien zusammen und beleucht ...