Logic and algebra of specification :: ISBN 0387558136 :: Springer-Verlag 1993 :: OBNB, the Open British National Bibliography

Publication Data

Title Logic and algebra of specification
Contributors Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
Publisher Springer-Verlag
Publication date 1993
Publication location Berlin
Language English

Descriptive Notes

Proceedings of the NATO Advanced Study Institute held in Marktoberdorf, Germany, 1991.

Topics

Computer science :: Mathematics
Logic, Symbolic and mathematical

Catalogue Data

OBNB ID GB9341787
ISBN 10 0387558136
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 442p.
P1042 Includes bibliographies.

Buy a copy

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

Logic and algebra of specification. ISBN 0387558136. Published by Springer-Verlag in 1993. Publication and catalogue information, links to buy online and reader comments.