EAN: 9783319231648
Bilder-Quelle: discount24.de - Sport-Freizeit
This Festschrift volume contains 28 refereed papers including personal memories essays and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25 2015. The symposium also featured invited talks by Claude and Hélène Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of José's many scientific achievements followed by a bibliography of papers written by José.
Produktinformationen zuletzt aktualisiert am
30.12.2025 um 06:43 Uhr
30.12.2025 um 06:43 Uhr
Hersteller
-
EAN
9783319231648
MPN
-
ASIN
3319231642
Produktgruppe
-
Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
9783319998398 - Rewriting Logic and Its Applications Kartoniert (T...9783319773124 - Language and Automata Theory and Applications Kart...
9783319129037 - Rewriting Logic and Its Applications Kartoniert (T...
9783642340048 - Rewriting Logic and Its Applications Kartoniert (T...
9783319276823 - Logical Foundations of Computer Science Kartoniert...
9783319448015 - Rewriting Logic and Its Applications Kartoniert (T...
9783319720555 - Logical Foundations of Computer Science Kartoniert...
9783540578871 - Theoretical Aspects of Computer Software Kartonier...
9783319155784 - Language and Automata Theory and Applications Kart...
9783319089171 - Rewriting and Typed Lambda Calculi Kartoniert (TB)...
9783319299990 - Language and Automata Theory and Applications Kart...
9783642044199 - Reachability Problems Kartoniert (TB)...
kürzlich hinzugefügt:
9783319720555 - Logical Foundations of Computer Science Kartoniert...9783319773124 - Language and Automata Theory and Applications Kart...
9783319402284 - Automated Reasoning Kartoniert (TB)...
9783319299990 - Language and Automata Theory and Applications Kart...
9783319089171 - Rewriting and Typed Lambda Calculi Kartoniert (TB)...
9783319231648 - Logic Rewriting and Concurrency Kartoniert (TB)...
9783319448015 - Rewriting Logic and Its Applications Kartoniert (T...
9783642044199 - Reachability Problems Kartoniert (TB)...
9783319998398 - Rewriting Logic and Its Applications Kartoniert (T...
9783030138370 - Logic-Based Program Synthesis and Transformation K...
9783319129037 - Rewriting Logic and Its Applications Kartoniert (T...
9783540719403 - All About Maude - A High-Performance Logical Frame...