Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Entdecken Sie die Proceedings der 11. MPC-Konferenz in Madrid, die innovative Ansätze zur formalen Programmverifikation, Programminferenz und automatisierten Beweissysteme präsentiert und damit neue Perspektiven für theoretische Informatik eröffnet.

Teilen: