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

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

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

Product Description

ISBN: 9783030001520
TITLE: Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings
AUTHOR: Jansen David N. Jansen
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 29 Aug 2018

Other Details

ISBN:
9783030001520
Author:
Jansen David N. Jansen
Publisher:
Springer Nature B.V.
Publisher Date:
Published:29 Aug 2018
Book Format:
Paperback

Related Products

Popular Trending Products