Modeling and Verification of Real-time Systems: Formalisms and Software Tools

Product form

£211.95

Includes FREE delivery
Usually despatched within days
Hardback by Nicolas Navet , Stephan Merz Short Description:

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing... Read more

Quantity

Add to basket

 

 

This item is a recurring or deferred purchase. By continuing, I agree to the cancellation policy and authorize you to charge my payment method at the prices, frequency and dates listed on this page until my order is fulfilled or I cancel, if permitted.

Publisher: ISTE Ltd and John Wiley & Sons Inc
Publication Date: 10/03/2008
ISBN13: 9781848210134, 978-1848210134
ISBN10: 1848210132

Number of Pages: 448

Non Fiction , Computing