Integration of Software Specification Techniques for Applications in Engineering
Ehrig, Hartmut.
Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report / edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540278634
Computer science.; Software engineering.; Logic design.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.
Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report / edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540278634
Computer science.; Software engineering.; Logic design.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.