2009 - Embedded System Design Modeling Synthesis and Verification (Hardcover) ISBN-13: 9781441905031 ISBN-10: 1441905030 Genres: Arts & Photography, Computers & Technology, Engineering & Transportation ? 2001 - System Design a Practical Guide with Specc (Hardcover) ISBN-13: 9780792373872 ISBN-10: 0792373871 Genres: Arts & Photography, Computers & Technology, Reference, Science & Math, Engineering & Transportation ? 2000 - Specc Specification Language and Methodology (Hardcover) ISBN-13: 9780792378228 ISBN-10: 0792378229 Genres: Computers & Technology, Substores ? |