Integration of Software Specification Techniques for Applications in Engineering: Priority Program Softspez Of The German Research Foundation (Dfg) ... Notes in Computer Science, 3147, Band 3147)
Ein umfassendes Handbuch, das moderne Spezifikationstechniken für Ingenieursoftware zusammenführt und die Auswahlkriterien der Deutschen Forschungsg ...