EAN: 9783642357046

Bilder-Quelle: discount24.de - Sport-Freizeit

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming UTP 2012 held in Paris France in August 2012 co-located with the 18th International Symposium on Formal Methods FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.

Produktinformationen zuletzt aktualisiert am
04.08.2025 um 16:24 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: