1999 - Formal Specification Techniques and Applications (Paperback) ISBN-13: 9781852330026 ISBN-10: 1852330023 ? 1997 - Realtime Systems [Prentice-Hall International Series in Computer Science] (Other) ISBN-13: 9780136512745 ISBN-10: 0136512747 Genre: Computers & Technology ? |