Joint Workshop on Formal Specification of Computer-Based Systems :: ISBN 1857691695 :: University of Stirling, Dept. of Computing Science and Mathematics 2002 :: 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, Jerzy Rozenblit, Miroslav Sveda, Miroslav Sveda, Miroslav Sveda, Miroslav Sveda
Publisher University of Stirling, Dept. of Computing Science and Mathematics
Publication date 2002
Publication location Stirling
Language English

Descriptive Notes

"Lund, Sweden, April 10-11, 2002.".
At head of title: IEEE TC-ECBS + TF RE and IFIP WG10.1.

Topics

Scotland

Catalogue Data

OBNB ID GBA338812
ISBN 10 1857691695
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 iii, 98 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 1857691695. Published by University of Stirling, Dept. of Computing Science and Mathematics in 2002. Publication and catalogue information, links to buy online and reader comments.