Cover Image

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /

This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. These are preceded by a detailed bibliography and rounded off, at the end of the book, with a gallery of...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Dams, Dennis. (Editor), Hannemann, Ulrich. (Editor), Steffen, Martin. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 5930
Subjects:
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-11512-7

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-11512-7

Similar Items