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

AED303.69
(0) Write a Review
SKU:
9783319657646
UPC:
9783319657646

Product Description

ISBN: 9783319657646
TITLE: Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5???7, 2017, Proceedings : 10419
AUTHOR: Alessandro Abate
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 3 Aug 2017

Other Details

ISBN:
9783319657646
Author:
Alessandro Abate
Publisher:
Springer International Publishing AG
Publisher Date:
Published:3 Aug 2017
Book Format:
Paperback