FME 2001: Formal Methods for Increasing Software Productivity
Oliveira, José Nuno.
FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe Berlin, Germany, March 12-16, 2001 Proceedings / edited by José Nuno Oliveira, Pamela Zave. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540452515
Computer science.; Software engineering.; Logic design.; Management information systems.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Mathematical Logic and Formal Languages.; Business Information Systems.
FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe Berlin, Germany, March 12-16, 2001 Proceedings / edited by José Nuno Oliveira, Pamela Zave. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540452515
Computer science.; Software engineering.; Logic design.; Management information systems.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Mathematical Logic and Formal Languages.; Business Information Systems.