Library of American University of Madaba
Your cart is empty.
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: 2010Online Resources:
-
http://rave.ohiolink.edu/ebooks/ebc/9783642115127
- Connect to resource
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Notes | Date Due |
|---|---|---|---|---|---|
 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.