Sell now
Sell now
All categories
  • MotorsComing Soon
  • PropertyComing Soon
  • JobsComing Soon
  • ServicesComing Soon
ria9781848210134_rkm

Ria Christie English Books

0.00
(0 reviews) Write a review
Uxbridge, GB

Modeling and Verification of Realtime Systems by N Navet

2 In stock
AUTHOR : N Navet
TYPE : Hardback
PUBLISHER : ISTE Press
LANGUAGE : English
PUBLISHED : Mar 2008
PAGES : 448

Modeling and Verification of Realtime Systems by N Navet

£19319
Message Seller
+ −
Description Features Reviews
Topics addressed include mathematical models of realtime systems and associated formal verification techniques such as model checking probabilistic modeling and verification programming and description languages and validation approaches based on testing.
Description Features Reviews

Product revews

Average Star Rating:
0.00  (0 reviews Total)
Show reviews with:
5 stars (0 reviews)
4 stars (0 reviews)
3 stars (0 reviews)
2 stars (0 reviews)
1 star (0 reviews)
Show all reviews

No reviews found

Write a review