Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Dennis Dams, Ulrich Hannemann (auth.), Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)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 photographs.
The theme under which the papers have been collected is Concurrency, Compositionality, and Correctness, reflecting the focus of Willem-Paul de Roever's research career. Topics addressed include model checking, computer science and state machines, ontology and mereology of domains, game theory, compiler correctness, fair scheduling and encryption algorithms.
Catégories:
Année:
2010
Edition:
1st Edition.
Editeur::
Springer Berlin Heidelberg
Langue:
english
Pages:
377
ISBN 10:
364211511X
ISBN 13:
9783642115110
Collection:
Lecture Notes in Computer Science 5930 : Theoretical Computer Science and General Issues
Fichier:
PDF, 5.49 MB
IPFS:
,
english, 2010
Ce livre ne peut être téléchargé en raison d'une plainte du titulaire d'un droit