Logic and algebra of specification

Author(s)

• Bauer, Friedrich Ludwig
• Brauer, Wilfried
• Schwichtenberg, Helmut
• NATO Advanced Study Institute on Logic and Algebra of Specification

Bibliographic Information

Logic and algebra of specification

edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg

（NATO ASI series, ser. F . Computer and system sciences ; v. 94）

Springer-Verlag, c1993

• : us
• : gw

Note

"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

Details

• NCID: BA20581602
• ISBN:
  • 0387558136
  • 3540558136
• LCCN: 93017951
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: 442 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.9.M35
  • DC20 : 004/.01/5113
• Subject Headings:
  • LCSH : Computer science -- Mathematics
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA00020624