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

Author(s)

Bibliographic Information

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

Egon Börger, Robert Stärk

Springer, c2003

Available at  / 7 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. [369]-428) and index

Details

  • NCID
    BA62261936
  • ISBN
    • 3540007024
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin ; Tokyo
  • Pages/Volumes
    x, 438 p.
  • Size
    24 cm.
  • Attached Material
    1 CD-ROM
Page Top