Ponad 4 miliony tytułów w języku angielskim i innych językach! Odkryj swoją nową historię już dziś!

Mathematics of Program Construction

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

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

Autor: Dexter Kozen, Carron Shankland

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

214.22 zł

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

Informacje o książce

Autor

Dexter Kozen, Carron Shankland

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2004

strony

404

EAN

9783540223801

ISBN

3540223800

Enbook ID

01559585

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

640

Wymiary

160 x 231 x 23

Pełny opis

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.