Książka Mathematics of Program Construction Jeremy Gibbons

Mathematics of Program Construction

11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
214.22
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics o...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2012
strony
363
EAN
9783642311123
ISBN
3642311121
Enbook ID
01661444
Waga
569
Wymiary
155 x 235 x 21

Pełny opis

This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.

Możesz być zainteresowany

233.76

Heidegger

J Jeremy Wisnewski
219.33
133.62

Make It Better

Mr John D Sanabria
27.97

INDUSTRIAL SAFETY

Express Publishing (obra colectiva)
86.69
852.90
18.15

I Who Have Never Known Men

Jacqueline Harpman
40.44

Klienci, którzy kupili tę książkę, kupili również

96.60

Míňať menej, získať viac

Rebecca Rockefeller Liesl
56.54
120.95

A halál anatómiája

Róbert Surovec
55.17
37.01

AchtNacht

Judith Kutzner
55.66

Vom Schlichten Sein Zum Sch nen Schein?

Stephan Becker-Sonnenschein
220.02
6.67