Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Integration of Software Specification Techniques for Applications in Engineering: Introduction...”
Cover Image
Read Now

2
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... Generator -- Software construction using typed fragments -- Graph grammar engineering: A method used...”
Cover Image
Read Now

3
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... engineering -- Identity and existence, and types in algebra -- Overloading and inheritance -- A SMoLCS based...”
Cover Image
Read Now

7
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Railway Crossing with Message Sequence Charts and Petri Nets -- Quantitative Engineering of Business...”