Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4???6, 2018, Proceedings : 11022 by David N. Jansen - Paperback

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

Product Description

ISBN: 9783030001506
TITLE: Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4???6, 2018, Proceedings : 11022
AUTHOR: David N. Jansen
PUBLISHER: Springer Nature Switzerland AG
PUBLISHER DATE: 26 Aug 2018

Other Details

ISBN:
9783030001506
Author:
David N. Jansen
Publisher:
Springer Nature Switzerland AG
Publisher Date:
Published:26 Aug 2018
Book Format:
Paperback