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...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Dams, Dennis (Επιμελητής έκδοσης), Hannemann, Ulrich (Επιμελητής έκδοσης), Steffen, Martin (Επιμελητής έκδοσης) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
Σειρά: | Lecture Notes in Computer Science,
5930 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
ανά: Dams, Dennis
Έκδοση: (2010) -
Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers /
Έκδοση: (2011) -
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Έκδοση: (2012) -
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
Έκδοση: (2015) -
FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
Έκδοση: (2009)