Unifying Theories of Programming

Автор: Jonathan P. Bowen, Huibiao Zhu

Език:

Корици: С меки корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.58 € 102.83 лв

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theori...

Информация за книгата

Автор

Jonathan P. Bowen, Huibiao Zhu

Език

Английски език

Корици

Книга - С меки корици

Издадена

2017

страници

217

EAN

9783319522272

ISBN

3319522272

Enbook ID

15560988

Издател

Springer International Publishing AG

Теглоt

3518

Размери

155 x 235 x 13

Пълно описание

This 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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Unifying Theories of Programming

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също