Computation Engineering:
Subtitle: Formal Specification and Verification Methods
Edition: 1 edition
Publisher: Springer
Published: December 2007
Language: eng
Format: Hardcover
Number of pages: 400
ISBN-13: 9780387244198
Subjects: Electrical engineering; Electronics engineering; Engineering: general; Mathematics and Science; Technology; Technology & Industrial Arts; Science/Mathematics; Computer Science; Logic; Technology / Electronics / Circuits / General; Engineering - Electrical & Electronic; Engineering - General