title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
---|---|---|---|---|
Discovering Landkey | 978-1-85522-512-1 (1-85522-512-3) | 1996 | Richard H. Joy | |
PAFESD: Process Algebras for Electronic System Design: Process Algebraic Specification and Analysis of Electronic System Design | 978-3-8383-6383-7 (3-8383-6383-3) | 2010 | Ka Lok Man · Tomas Krilavi?ius |