Mohlo by sa vám tiež páčiť

Viac informácií o knihe Mathematics of Program Construction

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 135 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: Mathematics of Program Construction
• Podnázov: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
• Autor: Roland Backhouse, Jose Nuno Oliveira
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 262
• EAN: 9783540677277
• ISBN: 3540677275
• ID: 01567489
• Nakladateľ: Springer, Berlin
• Hmotnosť: 415 g
• Rozmery: 235 × 155 × 14 mm
• Rok vydania: 2000

Obľúbené z iného súdka

---

---

---