×
  • Abstract state machines A method for high level system design and analysis

    Egon Börger Robert Stärk

Click on cover to enlarge.
10 - 12Hours to read