Understanding Behaviour of Distributed Systems Using mCRL2 by Atif Muhammad Atif - Paperback

AED274.94
(0) Write a Review
SKU:
9783031230097
UPC:
9783031230097

Product Description

ISBN: 9783031230097
TITLE: Understanding Behaviour of Distributed Systems Using mCRL2
AUTHOR: Atif Muhammad Atif
PUBLISHER: Springer Nature B.V.
PUBLISHER DATE: 26 Feb 2023

Other Details

ISBN:
9783031230097
Author:
Atif Muhammad Atif
Publisher:
Springer Nature B.V.
Publisher Date:
Published:26 Feb 2023
Book Format:
Paperback