Coverart for item
The Resource Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever, Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.), (electronic resource)

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever, Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.), (electronic resource)

Label
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever
Title
Concurrency, compositionality, and correctness
Title remainder
essays in honor of Willem-Paul De Roever
Statement of responsibility
Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)
Contributor
Subject
Language
eng
Summary
Annotation 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
Member of
Dewey number
004
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Dams, Dennis
  • Hannemann, Ulrich
  • Steffen, Martin
Series statement
  • Lecture notes in computer science,
  • Festschrift
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
5930.
http://library.link/vocab/subjectName
  • Roever, W.-P. de
  • Parallel programming (Computer science)
  • Computer programs
  • Computer science
  • 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
Label
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever, Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
  • Includes bibliographical references and index
  • Includes "A bibliography of Willem-Paul de Roever" (p. [1]-9)
Color
multicolored
Control code
ocn663096331
Dimensions
unknown
Extent
1 online resource (x, 375 p.)
Form of item
online
Isbn
9783642115127
Other control number
10.1007/978-3-642-11512-7
Other physical details
ill
Specific material designation
remote
System control number
(OCoLC)663096331
Label
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever, Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.), (electronic resource)
Publication
Bibliography note
  • Includes bibliographical references and index
  • Includes "A bibliography of Willem-Paul de Roever" (p. [1]-9)
Color
multicolored
Control code
ocn663096331
Dimensions
unknown
Extent
1 online resource (x, 375 p.)
Form of item
online
Isbn
9783642115127
Other control number
10.1007/978-3-642-11512-7
Other physical details
ill
Specific material designation
remote
System control number
(OCoLC)663096331

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...