|
by Navet NicolasHardcover details (United Kingdom). details (USA). details (Germany). details (Canada). ISBN: 978-1-84821-013-4 ISBN-10: 1-84821-013-2 ISTE Ltd · 2008 |
| See also (possibly by other authors): | ||
| Digital Download | Modeling and Verification of Real-time Systems (Iste) | |