Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985

Author(s)

• Bibel, Wolfgang
• Jantke, Klaus P.
• Workshop on Mathematical Methods of Specification and Synthesis of Software Systems

Bibliographic Information

Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985

edited by W. Bibel and K.P. Jantke

（Lecture notes in computer science, 215）

Springer-Verlag, c1986

• : gw
• : us

Details

• NCID: BA0050992X
• ISBN:
  • 3540164448
  • 0387164448
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: 245 p.
• Size: 25 cm
• Classification:
  • NDC8 : 007.63
• Subject Headings:
  • LCSH : Computer software
• Parent Bibliography ID:
  • BA00009279