Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
49,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
13.03.2016
Abbildungen
XII, 427 p. 112 illus. in color.
Herausgeber
Erika Ábrahám + weitereVerlag
SpringerSeitenzahl
427
Maße (L/B/H)
23,5/15,5/2,4 cm
Gewicht
663 g
Auflage
1st ed. 2016
Sprache
Englisch
ISBN
978-3-319-30733-6
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.
Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his lengthypublication list reveals a broad area of interest and a versatile modusoperandi with: logic and constraint programming; deductive proof systems,soundness, and completeness; semantics, compositionality, and full abstraction;process algebra and decidability; multithreading and actor-based concurrency;agent programming, ontologies, and modal logic; real-time systems, timedautomata, and schedulability; enterprise architectures, choreography, andcoordination; testing and runtime monitoring; and cloud computing and service-levelagreements. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures. In fact, Frank has anopportunistic approach to research. Rather than seeing obstacles, he findsopportunities.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice