Tools and Algorithms for the Construction and Analysis of Systems
Margaria, Tiziana.
Tools and Algorithms for the Construction and Analysis of Systems Second International Workshop, TACAS '96 Passau, Germany, March 27-29, 1996 Proceedings / edited by Tiziana Margaria, Bernhard Steffen. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540498742
Computer science.; Computer Communication Networks.; Software engineering.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Computer Communication Networks.
Tools and Algorithms for the Construction and Analysis of Systems Second International Workshop, TACAS '96 Passau, Germany, March 27-29, 1996 Proceedings / edited by Tiziana Margaria, Bernhard Steffen. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540498742
Computer science.; Computer Communication Networks.; Software engineering.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Computer Communication Networks.