BCS-FACS 7th Refinement Workshop: Proceedings of the BCS-FACS 7th Refinement Workshop Bath, 3-5 July 1996 (electronic Workshops in Computing)

Refinement

von: He Jifeng · John Cooke · Peter Wallis

Taschenbuch

Details (Deutschland)

ISBN-13: 978-3-540-76104-4

ISBN-10: 3-540-76104-7

Springer · 1996