Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Ehrig, Hartmut (Editor), Damm, Werner (Editor), Desel, Jörg (Editor), Große-Rhode, Martin (Editor), Reif, Wolfgang (Editor), Schnieder, Eckehard (Editor), Westkämper, Engelbert (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 3147
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.