Formal methods Pacific '97 : proceedings of FMP '97, 9-11 July 1997, Wellington, New Zealand

Author(s)

• Formal Methods Pasific
• Groves, Lindsay
• Reeves, Steve

Bibliographic Information

Formal methods Pacific '97 : proceedings of FMP '97, 9-11 July 1997, Wellington, New Zealand

Lindsay Groves, Steve Reeves (editors)

（Springer series in discrete mathematics and theoretical computer science）

Springer, c1997

• : pbk

Note

Includes bibliographical references and index

Details

• NCID: BA34175654
• ISBN:
  • 981308331X
• Country Code: si
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Singapore ; Tokyo
• Pages/Volumes: viii, 320 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA34176828