Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)

Ein Sammelband von Essays über Logik, Umformung und Parallelität, gewidmet José Meseguer zum 65. Geburtstag; beleuchtet theoretische Grundlagen, ak ...
Computer Science
Wo zu kaufen (3) Eigenschaften
Gesponsert
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 19-05-2026 01:44:26
Siehe Produktangebot
Gesponsert
Logic, Rewriting, and Concurrency
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 18-05-2026 21:12:08
Siehe Produktangebot
Gesponsert
Logic, Rewriting, and Concurrency, Fachbücher von Carolyn Talcott, Narciso Martí-Oliet, Peter Csaba Ölveczky
Galaxus.de
53.49 EUR
Preis aktualisiert am: 18-05-2026 08:22:21
Siehe Produktangebot

Allgemein

Marke
Narciso Martí-Oliet
MPN
Narciso Martí-Oliet 103 black & white illustrations, biograp
ISBN
Narciso Martí-Oliet 9783319231648

Eigenschaften

Ähnliche Produkte

Rewriting and Typed Lambda Calculi
Rewriting and Typed Lambda Calculi
Produkt anzeigen
Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, ... Notes in Computer Science, Band 7571)
Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, ... Notes in Computer Science, Band 7571)
Produkt anzeigen
Symbolic Rewriting Techniques (Progress in Computer Science and Applied Logic, 15, Band 15)
Symbolic Rewriting Techniques (Progress in Computer Science and Applied Logic, 15, Band 15)
Produkt anzeigen
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected ... Notes in Computer Science, 816, Band 816)
Produkt anzeigen
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, 1074, Band 1074)
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, 1074, Band 1074)
Produkt anzeigen
Logic Rewriting and Concurrency
Logic Rewriting and Concurrency
Produkt anzeigen
Menü