Logic and algebra of specification

Web Site CiNii Available at 32 libraries

Bibliographic Information

Title
"Logic and algebra of specification"
Statement of Responsibility
edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
Publisher
  • Springer-Verlag
Publication Year
  • c1993
Book size
25 cm
Series Name / No
  • : us
  • : gw

Search this Book/Journal

Notes

"Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23-August 4, 1991"--T.p. verso

Includes bibliographical references

Related Books

See more

Details 詳細情報について

Back to top