• Author Statement
    E. Berger,Robert Steirk
  • Collation
    x, 438 P.: Illus
  • Addition
    ,
  • Title

    Abstract state machines: A method for high-level system design and analysis

  • LC Class
    511
  • LC Number
    .3
  • LC CutterNumber
    B 732 A
  • تاريخ ورود اطلاعات
    1384/11/01
  • Publication Year
    2003
  • Publication
    Springer
  • Subject

    Machine theory,system design,Embeded computer system

  • DocumentNumber
    32323
  • ISBNN
    , 1 , 3818 , 3-1
  • RecordNumber
    9932