Compositional Verification of Concurrent and Real-Time Systems : 676 by Eric Y.T. Juan - Hardback

Compositional Verification of Concurrent and Real-Time Systems : 676 by Eric Y.T. Juan - Hardback

AED562.44
(0) Write a Review
SKU:
9781402070259
UPC:
9781402070259

Product Description

ISBN: 9781402070259
TITLE: Compositional Verification of Concurrent and Real-Time Systems : 676
AUTHOR: Eric Y.T. Juan
PUBLISHER: Springer-Verlag New York Inc.
PUBLISHER DATE: 30 Apr 2002

Other Details

ISBN:
9781402070259
Author:
Eric Y.T. Juan
Publisher:
Springer-Verlag New York Inc.
Publisher Date:
Published:30 Apr 2002
Book Format:
Hardback

Related Products

Popular Trending Products