• RecordNumber
    33156
  • Author

    Luckham, David

  • Title

    Programming with spcifications an introduction to ANNA, a language for

  • Author Statement
    David Luckham
  • Publication
    Springer
  • Publication Year
    [c1990]
  • Collation
    Xv, 416 p.
  • Series
    texts and monographs in computer science
  • Subject

    ANNA (Computer program Language)

  • Main Class
    005
  • Sub Class
    .133
  • Cutter no
    L941p
  • وارد كنندة اطلاعات
    soltani^d//
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=33156&Field=0&DTC=2