A little wonder in every chapter. Find your next favourite read

Formal Modeling and Analysis of Timed Systems

€ 62,49

Formal Modeling and Analysis of Timed Systems — 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings. An English-language digital edition by Martin Fränzle (Editor); Nicolas Markey (Editor), available in PDF.

Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.

SKU: EBC-2679702 Category:

Description

About this book

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held…

Catalogue preview, eBooks.com

Edition details

  • Author / contributors: Martin Fränzle (Editor); Nicolas Markey (Editor)
  • Publisher: Springer International Publishing
  • Publication date: August 16, 2016
  • Language: English
  • ISBNs: 9783319448770; 9783319448787
  • Digital formats: PDF

Additional information

Author

Martin Fränzle (Editor); Nicolas Markey (Editor)

Publisher

Springer International Publishing

Language

English

ISBN

9783319448770, 9783319448787

Format

PDF

Publication date

August 16, 2016

DRM

DRM-free edition available

Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Formal Modeling and Analysis of Timed Systems”

Your email address will not be published. Required fields are marked *