Library of American University of Madaba

Normal View MARC View ISBD View

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.) - New York : Springer, 2010. - x, 375 p. : ill. - LNCS sublibrary. SL 1, Theoretical computer science and general is Lecture notes in computer science ; festschrift ; v. 5930 .

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

ISBN: 3642115128

Subjects--Personal Names:
Roever, W.-P. de, 1943-

Subjects--Topical Terms:
Computer science
Parallel programming (Computer science)
Computer programs--Correctness.

LC Class. No.: QA76 / .C663 2010eb

Dewey Class. No.: 004.350151135 / C744