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

Descriptive Notes

"Washington DC, USA, April 20, 2001.".
At head of title: IEEE TC-ECBS + TF RE and IFIP WG10.1.

Topics

Scotland

Catalogue Data

OBNB ID GBA209501
ISBN 10 185769144X
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

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