Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen: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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Versand:
EUR 5,33
Von Vereinigtes Königreich nach USA
Buchbeschreibung paperback. Zustand: New. Language: ENG. Artikel-Nr. 9783642115110
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Kartoniert / Broschiert. Zustand: New. 19 detailed papers by eminent scientists in the field of Concurrency, Compositionality and CorrectnessContains a detailed bibliography of the honoreeCloses with a gallery of photographsWhy would you read this preface? As we start thinking what to write . Artikel-Nr. 5049572
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren