• RecordNumber
    2684
  • Title

    Cafe an industrial-strength algebraic formal method

  • SubTitle
    an industrial-strength algebraic formal method
  • Author Statement
    edited by K. Futatsugi, A.T. Nakagawa, T. Tamai.
  • Edition
    1st ed
  • Publication
    Elsevier
  • Publication Year
    2000
  • Collation
    xiv, 193 p. ill.
  • Notes
    Selected papers from a symposium held in Numazu, April 1998 , Includes bibliographical references
  • Subject

    Algebraic logic , Formal methods (Computer science)

  • ADDED ENTRIES
    Futatsugi, Kokichi. , Tamai, T. , Nakagawa, A. T.
  • Main class
    511
  • Sub class
    .3
  • Cutter no
    C116
  • ISBN
    0444505563
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=2684&Field=0&DTC=14