Cover image not available

Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 sixth International Conference on Formal Description Techniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993

Publication Data

Title Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 sixth International Conference on Formal Description Techniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993
Contributors Richard L. Tenney, Paul D. Amer, M. Ü. Uyar
Publisher North Holland
Publication date 1994
Publication location Amsterdam
Language English

Catalogue Data

OBNB ID GB9462730
ISBN 10 0444817735
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.62

ISBD

P1053 xv, 501p.
P1042 Includes bibliographies and index.

Buy a copy

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

Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 sixth International Conference on Formal Description Techniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993. ISBN 0444817735. Published by North Holland in 1994. Publication and catalogue information, links to buy online and reader comments.