Envío gratis siempre a todo México.
Haz clic para hacer zoom
Not Available
Unifying Theories of Programming
Cargando comentarios…
Comparte
$1,084
$976
Envío gratis siempre
Comentarios
Cargando el resumen…
Cargando comentarios…
product
2675109Unifying Theories of Programminghttps://www.gandhi.com.mx/unifying-theories-of-programming-9783319522289/phttps://gandhi.vtexassets.com/arquivos/ids/2171091/3da76608-ae6e-42c7-ae72-ad84c66e3c6e.jpg?v=6383836063183300009761084MXNSpringer International PublishingInStock/Ebooks/<p>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</p><p>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.</p>...2611354Unifying Theories of Programming9761084https://www.gandhi.com.mx/unifying-theories-of-programming-9783319522289/phttps://gandhi.vtexassets.com/arquivos/ids/2171091/3da76608-ae6e-42c7-ae72-ad84c66e3c6e.jpg?v=638383606318330000InStockMXN99999DIEbook20179783319522289_W3siaWQiOiJlZmE4YjMwOS1iN2ViLTQ0MTQtYWI3MC0zMmUzN2U4NjAwNWEiLCJsaXN0UHJpY2UiOjEwNjksImRpc2NvdW50IjoxMDcsInNlbGxpbmdQcmljZSI6OTYyLCJpbmNsdWRlc1RheCI6dHJ1ZSwicHJpY2VUeXBlIjoiV2hvbGVzYWxlIiwiY3VycmVuY3kiOiJNWE4iLCJmcm9tIjoiMjAyNS0wNi0wOFQwOTowMDowMFoiLCJ0byI6IjIwMjUtMDYtMzBUMjM6NTk6NTlaIiwicmVnaW9uIjoiTVgiLCJpc1ByZW9yZGVyIjpmYWxzZX0seyJpZCI6IjBjMWIzYTliLWVlZGMtNGJiYi05MjRiLTEzMGNjMDA4NjUxZiIsImxpc3RQcmljZSI6MTA4NCwiZGlzY291bnQiOjEwOCwic2VsbGluZ1ByaWNlIjo5NzYsImluY2x1ZGVzVGF4Ijp0cnVlLCJwcmljZVR5cGUiOiJXaG9sZXNhbGUiLCJjdXJyZW5jeSI6Ik1YTiIsImZyb20iOiIyMDI1LTA3LTAxVDAwOjAwOjAwWiIsInJlZ2lvbiI6Ik1YIiwiaXNQcmVvcmRlciI6ZmFsc2V9XQ==9783319522289_<p>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</p><p>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.</p>...9783319522289_Springer International Publishinglibro_electonico_ae55fa33-32c2-38b1-a47c-ae166cb4d752_9783319522289;9783319522289_9783319522289InglésMéxico2017-01-10T00:00:00+00:00Springer International Publishing