1
by Ehrig, Hartmut
Published 2004
Springer Berlin Heidelberg
Subjects: ...Software engineering...

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: ...Integration of Software Specification Techniques for Applications in Engineering: Introduction...