Algebraic foundations of systems specification

Author(s)

• Astesiano, E. (Egidio)
• Kreowski, H.-J. (Hans-Jörg)
• Krieg-Brückner, B. (Bernd)

Bibliographic Information

Algebraic foundations of systems specification

E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (eds.)

（IFIP state-of-the-art reports）

Springer, c1999

Note

Includes bibliographical references and index

Details

• NCID: BA43168059
• ISBN:
  • 3540637729
• LCCN: 99038275
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xii, 615 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.758
  • DC21 : 004.2/1
• Subject Headings:
  • LCSH : Software engineering
  • LCSH : Formal methods (Computer science)
  • LCSH : System design
• Parent Bibliography ID:
  • BA05062450