Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Autonomous Units and Their Semantics — The Sequential Case -- Software Engineering Methods and Tools...”
Cover Image
Read Now

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... to Process Petri-Nets and Statecharts -- Using Graph Transformation as the Semantical Model for Software...”
Cover Image
Read Now

3
by Corradini, Andrea
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: “...Software engineering...”