Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings by Bertrand Nathalie Bertrand - Paperback

Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings by Bertrand Nathalie Bertrand - Paperback

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

Product Description

ISBN: 9783030576295
TITLE: Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings
AUTHOR: Bertrand Nathalie Bertrand
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 21 Aug 2020

Other Details

ISBN:
9783030576295
Author:
Bertrand Nathalie Bertrand
Publisher:
Springer Nature B.V.
Publisher Date:
Published:21 Aug 2020
Book Format:
Paperback

Related Products

Popular Trending Products