Nagl, Manfred.

Applications of Graph Transformations with Industrial Relevance International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings / edited by Manfred Nagl, Andreas Schürr, Manfred Münch. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783540451044


Computer science.; Software engineering.; Computer software.; Logic design.; Computational complexity.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Discrete Mathematics in Computer Science.