IEEE 1394 (FireWire) Workshop : international workshop on application of formal methods to IEEE 1394 standard : Berlin, March 13, 2001 :: ISBN 1857691539 :: University of Stirling, Dept. of Computing Science and Mathematics 2001 :: OBNB, the Open British National Bibliography

Publication Data

Title IEEE 1394 (FireWire) Workshop : international workshop on application of formal methods to IEEE 1394 standard : Berlin, March 13, 2001
Contributors Savi Maharaj, Judi Romijn, Carron Shankland, Carron Shankland, Formal Methods Europe, Formal Methods Europe
Publisher University of Stirling, Dept. of Computing Science and Mathematics
Publication date 2001
Publication location Stirling
Language English

Descriptive Notes

Supported by the British Computer Society Specialist Group [in] Formal Aspects of Computing Science, and Formal Methods Europe.

Topics

Scotland

Catalogue Data

OBNB ID GBA204609
ISBN 10 1857691539
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 44 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

IEEE 1394 (FireWire) Workshop : international workshop on application of formal methods to IEEE 1394 standard : Berlin, March 13, 2001. ISBN 1857691539. Published by University of Stirling, Dept. of Computing Science and Mathematics in 2001. Publication and catalogue information, links to buy online and reader comments.