Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings by Abate Alessandro Abate - Paperback

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings by Abate Alessandro Abate - Paperback

AED620.00
(0) Write a Review
SKU:
9783319657660
UPC:
9783319657660

Product Description

ISBN: 9783319657660
TITLE: Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
AUTHOR: Abate Alessandro Abate
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 19 Aug 2017

Other Details

ISBN:
9783319657660
Author:
Abate Alessandro Abate
Publisher:
Springer Nature B.V.
Publisher Date:
Published:19 Aug 2017
Book Format:
Paperback

Related Products

Popular Trending Products