Specification and Compositional Verification of Real-Time Systems : 558 by Jozef Hooman - Paperback

Specification and Compositional Verification of Real-Time Systems : 558 by Jozef Hooman - Paperback

AED303.69
(0) Write a Review
SKU:
9783540549475
UPC:
9783540549475

Product Description

ISBN: 9783540549475
TITLE: Specification and Compositional Verification of Real-Time Systems : 558
AUTHOR: Jozef Hooman
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 27 Nov 1991

Other Details

ISBN:
9783540549475
Author:
Jozef Hooman
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:27 Nov 1991
Book Format:
Paperback

Related Products

Popular Trending Products