1st Irish Workshop on Formal Methods
: proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997 / Gerard O'Regan and Sharon Flynn (ed.). Publ. in collab. with the British Computer Society. - London : Springer, 1997. - 7 S.; 21 cm - (Electronic Workshops in Computing)
ISBN 978-3-540-76196-9 / 3-540-76196-9 geh. : DM 68.00 (mit Zugriffsrecht auf Online-Publikation)
Online-Publikation im Internet unter der Adresse http://ewic.springer.co.uk/ verfügbar
Quelle: DNB