Willkommen, schön sind Sie da!
Logo Ex Libris

Mathematics of Program Construction

  • Kartonierter Einband
  • 363 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 20... Weiterlesen
20%
100.00 CHF 80.00
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

State-of-the-art research

Fast-track conference proceedings

Unique visibility

Produktinformationen

Titel: Mathematics of Program Construction
Untertitel: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Editor:
EAN: 9783642311123
ISBN: 978-3-642-31112-3
Format: Kartonierter Einband
Herausgeber: Springer, Berlin
Genre: Informatik
Anzahl Seiten: 363
Gewicht: 569g
Größe: H235mm x B155mm x T20mm
Jahr: 2012
Auflage: 2012

Weitere Produkte aus der Reihe "Theoretical Computer Science and General Issues"