Proof in VDM : case studies

Author(s)

• Bicarregui, Juan C. (Juan Carlos)
• Agerholm, Sten

Bibliographic Information

Proof in VDM : case studies

J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.]

（Formal approaches to computing and information technology (FACIT)）

Springer-Verlag, c1998

• : pbk

Note

Includes bibliographical references and index

Details

• NCID: BA36453543
• ISBN:
  • 3540761861
• LCCN: 97029213
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London ; New York
• Pages/Volumes: xiv, 226 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.D47
  • DC21 : 005.1/4
• Subject Headings:
  • LCSH : Computer software -- Development -- Case studies
  • LCSH : Automatic theorem proving
• Parent Bibliography ID:
  • BA2187111X