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

Rewriting Logic and Its Applications

Rewriting Logic and Its Applications

Softcover - 9783642340048
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 thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.

9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

Details

Verlag Springer Berlin
Ersterscheinung 14. September 2012
Maße 23.5 cm x 15.5 cm
Gewicht 388 Gramm
Format Softcover
ISBN-13 9783642340048
Seiten 241

Schlagwörter

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

Herstellerinformationen +