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

Mathematics of Program Construction

  • E-Book (pdf)
  • 323 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 66.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.



Inhalt

Type Systems.- Program analysis and Transformation.- Programming-language semantics.- Security.- Program logics.

Produktinformationen

Titel: Mathematics of Program Construction
Untertitel: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Editor:
EAN: 9783319197975
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Anzahl Seiten: 323
Veröffentlichung: 09.06.2015
Dateigrösse: 6.0 MB

Weitere Bände aus der Buchreihe "Programming and Software Engineering"