1st Irish Workshop on Formal Methods: Proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997 (electronic Workshops in Computing)

von: Gerard O'Regan · Sharon Flynn

Taschenbuch

Details (Deutschland)

ISBN: 978-3-540-76196-9

ISBN-10: 3-540-76196-9

Springer · 1997