Normal View MARC View ISBD View

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever /

Authors: Dams, Dennis. | Hannemann, Ulrich. | Steffen, Martin. Series: LNCS sublibrary. SL 1, Theoretical computer science and general is | Lecture notes in computer science ; festschrift ; . v. 5930 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.