Normal view MARC view ISBD view

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

By: Stark, Robert.
Contributor(s): Borger, Egon.
Material type: materialTypeLabelBookPublisher: Berlin: Springer, 2003Description: x, 432 p.; : 24 cm.ISBN: 3540007024 .Subject(s): Computer software | Embedded computer systems | System designDDC classification: 004.21
Tags from this library: No tags from this library for this title. Log in to add tags.

Powered by Koha