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

Semantic Integration of Heterogeneous Software Specifications

Semantic Integration of Heterogeneous Software Specifications

von Martin Große-Rhode
Hardcover - 9783540402572
160,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 7 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Weitere Formate

Softcover - 9783642073069
160,49 €

Autorenfreundlich Bücher kaufen?!

Weitere Formate

Softcover - 9783642073069
160,49 €

Beschreibung

The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.

Details

Verlag Springer Berlin
Ersterscheinung 09. Dezember 2003
Maße 23.4 cm x 15.5 cm
Gewicht 682 Gramm
Format Hardcover
ISBN-13 9783540402572
Auflage 2004
Seiten 330

Schlagwörter

Compiler und Übersetzer, Compilers and Interpreters, Computerprogrammierung und Softwareentwicklung, Programming Languages - Compilers - Interpreters, Programming Techniques, Software Engineering, Software Engineering/Programming and Operating Systems, Theoretische Informatik, Theory of Computation