• RecordNumber
    2912
  • Author

    Bjorner, Dines

  • Title

    Formal specification and software development

  • Author Statement
    Dines Bjorner, and Cliff B. Jones
  • Publication
    Prentice-Hall International
  • Publication Year
    1982
  • Collation
    x, 501P., illus
  • Series
    Prentice-Hall International series in computer science
  • Notes
    0133290034 , Bibliography: P.459-487
  • Subject

    Programming languages (Electronic computers) , Electronic digital computers -- Programming

  • ADDED ENTRIES
    Jones, Cliff B. ,
  • LC Class
    QA
  • LC Number
    76.6
  • LC CutterNumber
    .B575
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=2912&Field=0&DTC=2