Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness
Bakker, J. W.
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness REX Workshop, Mook, The Netherlands May 29 - June 2, 1989 Proceedings / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540470359
Computer science.; Computer Communication Networks.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Programming Techniques.; Computer Communication Networks.
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness REX Workshop, Mook, The Netherlands May 29 - June 2, 1989 Proceedings / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540470359
Computer science.; Computer Communication Networks.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Programming Techniques.; Computer Communication Networks.