Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Publisher: Ios Pr Inc
Published: June 2004
Language: eng
Format: Paperback
Number of pages: 180
ISBN-13: 9781586034139
Subjects: Computer architecture & logic design; Artificial Intelligence - General; Computers; Computer Books: General