Understanding Behaviour of Distributed Systems Using mCRL2 : 458 by Muhammad Atif - Hardback

AED964.94
(0) Write a Review
SKU:
9783031230073
UPC:
9783031230073

Product Description

ISBN: 9783031230073
TITLE: Understanding Behaviour of Distributed Systems Using mCRL2 : 458
AUTHOR: Muhammad Atif
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 26 Feb 2023

Other Details

ISBN:
9783031230073
Author:
Muhammad Atif
Publisher:
Springer International Publishing AG
Publisher Date:
26 Feb 2023
Book Format:
Hardback