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