Mathematics of Program Construction

Name: Mathematics of Program Construction
Brand: Springer, Berlin
SKU: 9783540677277
Price: 50.13 EUR
Availability: InStock

5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Autor: Roland Backhouse, Jose Nuno Oliveira

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.13 €

This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics...

Informácie o knihe

Autor

Roland Backhouse, Jose Nuno Oliveira

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2000

Stránok

262

EAN

9783540677277

ISBN

3540677275

Enbook ID

01567489

Vydavateľ

Springer, Berlin

Hmotnosť

415

Rozmery

155 x 235 x 14

Kompletný popis

This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000.§The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. Also presented are three invited contributions. The papers address issues of programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics from the mathematical and logical point of view.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Mathematics of Program Construction

5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež