Normal View MARC View ISBD View

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

Authors: Dams, Dennis.%editor | Hannemann, Ulrich.%editor | Steffen, Martin.%editor 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 Notes Date Due
Book Book AUM Main Library English Collections Hall 004.350151135 C744 (Browse Shelf) Available JBC/2011/9083

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.

English |