Mathematics of Program Construction

Name: Mathematics of Program Construction
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642133206
Price: 56.77 EUR
Availability: InStock

10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings

Автор: Claude Bolduc, Jules Desharnais, Bechir Ktari

Език:

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

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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

Изпращаме след 9-15 дни

56.77 € 111.03 лв

This book constitutes the refereed proceedings of the 10th International Conference on Mathematics o...

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

Автор

Claude Bolduc, Jules Desharnais, Bechir Ktari

Език

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

Корици

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

Издадена

2010

страници

427

EAN

9783642133206

ISBN

3642133207

Enbook ID

01655933

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

651

Размери

164 x 241 x 25

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

This book constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Québec City, Canada in June 2010. The 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program specification and transformation, program analysis, programming paradigms, programming calculi, programming language semantics, security and program logics.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Mathematics of Program Construction

10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings

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

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

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

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