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

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Softcover - 9783319229744
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 refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.

The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions.

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Details

Verlag Springer International Publishing
Ersterscheinung 12. August 2015
Maße 23.5 cm x 15.5 cm
Gewicht 505 Gramm
Format Softcover
ISBN-13 9783319229744
Auflage 1st ed. 2015
Seiten 321

Schlagwörter

Angewandte Informatik, Computer and Information Systems Applications, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Software Engineering, Theoretische Informatik, Theory of Computation

Herstellerinformationen +

Submit Withdrawal Request

Please fill out the following form to submit your withdrawal request.