• RecordNumber
    35242
  • Author

    International School on Formal Methods for the Design of Computer, Communication and Software Syste

  • Title

    Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems: Software Architectures, SFM 2003, Bertinoro, I

  • Author Statement
    Marco Bernardo, Paola Inverardi
  • Publication
    Springer
  • Publication Year
    2003
  • Series
    Lecture notes in computer science
  • Notes
    Includes bibliographical references and index , 3540200835
  • Subject

    Real-time data processing , Formal methods (Computer science) , Computer systems , Computer software

  • ADDED ENTRIES
    , Bernardo, Marco , Inverardi, Paola ,
  • LC Class
    QA
  • LC Number
    76.754
  • LC CutterNumber
    .F67
  • LC Date
    2003
  • وارد کنندة اطلاعات
    فراهاني
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=35242&Field=0&DTC=2