Learning Resource Center catalog › Details for: Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems /

Normal view MARC view ISBD view

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: Text

TextPublisher: 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	Female Library	QA76.58 .B69 2006 (Browse shelf (Opens below))	Available	STACKS
Books	Main Library	QA76.58 .B69 2006 (Browse shelf (Opens below))	Available	STACKS

Previous								Next
Previous	QA76.575 .L52 2009 Multimedia content encryption : techniques and applications /	QA76.58 .A27 2009 SPAA'09 : proceedings of the twenty-first annual symposium on parallelism in algorithms and architectures, August 11-13, 2009, Calgary, Alberta, Canada /	QA76.58 .A27 2010 SPAA'10 : proceedings of the twenty-second annual symposium on parallelism in algorithms and architectures, June 13-15, 2010, Thira, Santorini, Greece /	QA76.58 .B69 2006 Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems /	QA76.58 .C85 1999 Parallel computer architecture : a hardware/software approach /	QA76.58 .F67 1994 Parallel computing : principles and practice /	QA76.58 .H36 2008 Handbook of parallel computing : models, algorithms and applications /	Next

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

1 2

There are no comments on this title.

to post a comment.