Több mint 4 millió cím angol és más nyelveken! Fedezd fel új történetedet még ma!

Mathematics of Program Construction

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

7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

Szerző: Dexter Kozen, Carron Shankland

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

Küldés 5-8 napon belül

19 653 Ft

This book constitutes the refereed proceedings of the 7th International Conference on the Mathematic...

Információk a könyvről

Szerző

Dexter Kozen, Carron Shankland

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2004

oldal

404

EAN

9783540223801

ISBN

3540223800

Enbook ID

01559585

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

640

Méretek

160 x 231 x 23

Teljes leírás

This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004.The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.