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

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

Softcover - 9783540719977
53,49 €
  • 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 postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006. The 10 revised full papers focus on the algebraic approach to the specification and development of systems and address topics such as formal methods for system development, specification languages and methods, and distributed and mobile systems.

18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

Details

Verlag Springer Berlin
Ersterscheinung 24. April 2007
Maße 23.5 cm x 15.5 cm
Gewicht 289 Gramm
Format Softcover
ISBN-13 9783540719977
Seiten 174

Schlagwörter

Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Mathematik für Informatiker, Software Engineering, Symbolic and Algebraic Manipulation, Theoretische Informatik

Herstellerinformationen +