Mathematics of Program Construction

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

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

Autor: Claude Bolduc, Jules Desharnais, Bechir Ktari

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

241.54 zł

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

Informacje o książce

Autor

Claude Bolduc, Jules Desharnais, Bechir Ktari

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2010

strony

427

EAN

9783642133206

ISBN

3642133207

Enbook ID

01655933

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

651

Wymiary

164 x 241 x 25

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Mathematics of Program Construction

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również