Mathematics of Program Construction

Name: Mathematics of Program Construction
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540438571
Price: 20378 HUF
Availability: InStock

6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Szerző: Eerke A. Boiten, Bernhard Möller

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 11-15 napon belül

20 378 Ft

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

Információk a könyvről

Szerző

Eerke A. Boiten, Bernhard Möller

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2002

oldal

263

EAN

9783540438571

ISBN

3540438572

Enbook ID

01564425

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

438

Méretek

158 x 231 x 16

Teljes leírás

This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002.The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Mathematics of Program Construction

6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták