SPECC: Specification Language and Methodology

Methodology

by: Daniel D. Gajski · Jianwen Zhu · Rainer Dömer · Andreas Gerstlauer · Shuqing Zhao

Hardcover

ISBN: 978-0-7923-7822-8

ISBN-10: 0-7923-7822-9

Springer · 2000