British Computer Society Specialist Group In Formal Aspects Of Computi Books
3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop
By Carroll Morgan, Refinement Workshop. 3rd 1990 IBM UK Laboratories, Refinement Workshop 1990 IBM Uk Laboratories, British Computer Society Specialist Group In Formal Aspects Of Computi, IBM Uk Laboratories, Oxford University Computing Laboratory Programming Research Group
Read More4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, Organised by Bcs-Facs, 9-11 January 1991, Cambridge
By Joseph M. Morris, Refinement Workshop 4th 1991 Cambridge England, British Computer Society Specialist Group In Formal Aspects Of Computi, England Refinement Workshop 1991 Cambridge
Read More