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...

Celý popis

Podrobná bibliografie

Další autoři:	Dams, Dennis (Editor) Hannemann, Ulrich (Editor) Steffen, Martin (Editor)
Korporace:	SpringerLink (online služba)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg : Springer Berlin Heidelberg, 2010
Edice:	Lecture Notes in Computer Science
Žánr/forma:	elektronické knihy
ISBN:	978-3-642-11512-7 9783642115110
Témata:	informatika softwarové inženýrství programovací jazyky počítače matematická logika
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!