Joint Workshop on Formal Specification of Computer-Based Systems :: ISBN 1857691210 :: University of Stirling, Dept. of Computing Science and Mathematics 2000 :: OBNB, the Open British National Bibliography

Publication Data

Title Joint Workshop on Formal Specification of Computer-Based Systems
Alternative Title IEEE TC-ECBS + TF RE and IFIP WG10.1
Contributors C. Rattray, Miroslav Sveda, Miroslav Sveda, Miroslav Sveda, Miroslav Sveda, Miroslav Sveda
Publisher University of Stirling, Dept. of Computing Science and Mathematics
Publication date 2000
Publication location Stirling
Language English

Descriptive Notes

"Edinburgh, Scotland, April 6-7, 2000.".
At head of title: IEEE TC-ECBS + TF RE and IFIP WG10.1.

Topics

Scotland

Catalogue Data

OBNB ID GBA170295
ISBN 10 1857691210
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 iii, 85 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:

Joint Workshop on Formal Specification of Computer-Based Systems. ISBN 1857691210. Published by University of Stirling, Dept. of Computing Science and Mathematics in 2000. Publication and catalogue information, links to buy online and reader comments.