Rigorous Methods for Software Construction and Analysis
Abrial, Jean-Raymond.
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / edited by Jean-Raymond Abrial, Uwe Glässer. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642114472
Computer science.; Information theory.; Computer software.; Electronic data processing.; Algorithms.; Computer Science.; Theory of Computation.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Mathematics of Computing.; Computing Methodologies.; Algorithms.
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / edited by Jean-Raymond Abrial, Uwe Glässer. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642114472
Computer science.; Information theory.; Computer software.; Electronic data processing.; Algorithms.; Computer Science.; Theory of Computation.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Mathematics of Computing.; Computing Methodologies.; Algorithms.