Mathematics of Program Construction

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

9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings

Autor: Philippe Audebaud, Christine Paulin-Mohring

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.26 zł

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

Informacje o książce

Autor

Philippe Audebaud, Christine Paulin-Mohring

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2008

strony

423

EAN

9783540705932

ISBN

3540705937

Enbook ID

01568081

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

664

Wymiary

155 x 235 x 25

Pełny opis

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008.§The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, 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

9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

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