Modeling and Verification of Real-time Systems : Formalisms and Software Tools by Nicolas) Navet - Hardback

Modeling and Verification of Real-time Systems : Formalisms and Software Tools by Nicolas) Navet - Hardback

AED1,263.71
(0) Write a Review
SKU:
9781848210134
UPC:
9781848210134

Product Description

ISBN: 9781848210134
TITLE: Modeling and Verification of Real-time Systems : Formalisms and Software Tools
AUTHOR: Nicolas) Navet
PUBLISHER: ISTE Ltd and John Wiley & Sons Inc
PUBLISHER DATE: 10 Mar 2008

Other Details

ISBN:
9781848210134
Author:
Nicolas) Navet
Publisher:
ISTE Ltd and John Wiley & Sons Inc
Publisher Date:
Published:10 Mar 2008
Book Format:
Hardback

Related Products

Popular Trending Products