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

Formal Modeling and Analysis of Timed Systems

€ 56,24

Formal Modeling and Analysis of Timed Systems — 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings. An English-language digital edition by Víctor Braberman (Editor); Laurent Fribourg (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-2480186 Category:

Description

About this book

Formal Modeling and Analysis of Timed Systems — 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings. An English-language digital edition by Víctor Braberman (Editor); Laurent Fribourg (Editor), available in PDF.

Edition details

  • Author / contributors: Víctor Braberman (Editor); Laurent Fribourg (Editor)
  • Publisher: Springer Berlin Heidelberg
  • Publication date: July 23, 2013
  • Language: English
  • ISBNs: 9783642402289; 9783642402296
  • Digital formats: PDF

Additional information

Author

Víctor Braberman (Editor); Laurent Fribourg (Editor)

Publisher

Springer Berlin Heidelberg

Language

English

ISBN

9783642402289, 9783642402296

Format

PDF

Publication date

July 23, 2013

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 *