✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 388.554 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Unifying Theories of Programming

Unifying Theories of Programming

Softcover - 9783642357046
49,22 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Details

Verlag Springer Berlin
Ersterscheinung 04. Januar 2013
Maße 23.5 cm x 15.5 cm
Gewicht 400 Gramm
Format Softcover
ISBN-13 9783642357046
Seiten 249

Schlagwörter

Compiler und Übersetzer, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Software Engineering, Theoretische Informatik, Theory of Computation

Herstellerinformationen +