Mathematics of Program Construction

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

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

Autor: Philippe Audebaud, Christine Paulin-Mohring

Limbă:

Legare: Carte broșată

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

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

275.89 lei

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

Informații despre carte

Autor

Philippe Audebaud, Christine Paulin-Mohring

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2008

Pagini

423

EAN

9783540705932

ISBN

3540705937

Enbook ID

01568081

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

664

Dimensiuni

155 x 235 x 25

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Mathematics of Program Construction

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și