Mathematics of Program Construction

Name: Mathematics of Program Construction
Brand: Springer, Berlin
SKU: 9783540677277
Price: 1310 CZK
Availability: InStock

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

Autor: Roland Backhouse, Jose Nuno Oliveira

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 11-15 dnů

1 310 Kč

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

Informace o knize

Autor

Roland Backhouse, Jose Nuno Oliveira

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2000

Stránek

262

EAN

9783540677277

ISBN

3540677275

Enbook ID

01567489

Vydavatel

Springer, Berlin

Hmotnost

415

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Mathematics of Program Construction

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také