Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

Mathematics of Program Construction

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

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

Autor: Dexter Kozen, Carron Shankland

Jazyk:

Vazba: Brožovaná

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

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Dexter Kozen, Carron Shankland

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2004

Stránek

404

EAN

9783540223801

ISBN

3540223800

Enbook ID

01559585

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

640

Rozměry

160 x 231 x 23

Kompletní popis

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.