Delivery included to the United States

Mathematics of Program Construction

Mathematics of Program Construction 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 8-10, 2004 : Proceedings - Lecture Notes in Computer Science

2004

Paperback (24 Jun 2004)

Save $50.98

  • RRP $108.95
  • $57.97
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

Book information

ISBN: 9783540223801
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2004
DEWEY: 005.1
DEWEY edition: 22
Language: English
Number of pages: 262
Weight: 640g
Height: 231mm
Width: 160mm
Spine width: 23mm