Normal View MARC View ISBD View

Concurrency, compositionality, and correctness :

Authors: Dams, Dennis. | Hannemann, Ulrich. | Steffen, Martin. Series: Lecture notes in computer science. festschrift ; . v. 5930 | LNCS sublibrary. SL 1, Theoretical computer science and general is Published by : Springer, (New York :) Physical details: x, 375 p. : ill. ISBN: 3642115128 Subject(s): Roever, W.-P. de, %1943- | Computer science | Parallel programming (Computer science) | Computer programs %Correctness. Year: 2010
Online Resources:
Tags from this library:
No tags from this library for this title.
Item type Location Call Number Status Date Due
Book Book AUM Main Library English Collections Hall 004.350151135 C744 (Browse Shelf) Available

Includes bibliographical references and index.

Includes "A bibliography of Willem-Paul de Roever" (p. [1]-9)

There are no comments for this item.

Log in to your account to post a comment.