• RecordNumber
    73276
  • Author

    Schumann, Johann M., 1960-

  • Title

    Automated theorem proving in software engineering

  • Author Statement
    Johann M. Schumann
  • Publication
    Springer
  • Publication Year
    c2001
  • Collation
    xiv, 228 p. : ill
  • Bibliography
    Includes bibliographies
  • Subject

    Software engineering , Automatic theorem proving

  • Main Class
    005
  • Sub Class
    .1
  • Cutter no
    S392a
  • وارد كنندة اطلاعات
    samadi^d2004/05/22 11:27:22 , zharfi^d2006/06/13 11:06:21
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=73276&Field=0&DTC=2