• RecordNumber
    30834
  • Author

    Monin, Jean Francois

  • Title

    Understanding formal methods

  • Author Statement
    written and translated by Jean Francois Monin ; translation editor, Michael G. Hinchey
  • Publication
    Springer
  • Publication Year
    2003
  • Collation
    xv, 275 p.
  • Notes
    1852332476 , Includes bibliographical references (p. [255]-267) and index , ... published with the help of the French Ministere de la culture--Centre national du livre.
  • Subject

    Formal methods (Computer science)

  • ADDED ENTRIES
    Hinchey, Michael G.(Michael Gerard) ,
  • LC Class
    QA
  • LC Number
    76.6
  • LC CutterNumber
    .M6513
  • LC Date
    2003
  • وارد کنندة اطلاعات
    محمدي
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=30834&Field=0&DTC=2