Your cart is empty.
  • Home

    Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems / Howard Bowman and Rodolfo Gomez.

    By: Bowman, Howard, 1966-Contributor(s): Gomez, RodolfoMaterial type: TextTextPublisher: London : Springer, c2006Description: xxiv, 435 p. : ill. ; 25 cmISBN: 1852338954; 9781852338954Subject(s): Parallel processing (Electronic computers) -- Mathematical models | Machine theory | LOTOS (Computer program language) | Mathematisches Modell | NebenläufigkeitDDC classification: 004/.35 | 004.015113 LOC classification: QA76.58 | .B69 2006Other classification: 510 | ST 130 | ST 132 Online resources: Publisher description | Table of contents only
    Tags from this library: No tags from this library for this title. Log in to add tags.
        Average rating: 0.0 (0 votes)
    Item type Current library Call number Status Notes Date due Barcode
    Books Books Female Library
    		QA76.58 .B69 2006 (Browse shelf (Opens below)) Available STACKS
    Books Books Main Library
    		QA76.58 .B69 2006 (Browse shelf (Opens below)) Available STACKS

    Includes bibliographical references (p. [397]-407) and index.

    1 2

    There are no comments on this title.

    to post a comment.