Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Term Rewriting

Name: Term Rewriting
Brand: Springer, Berlin
SKU: 01565956
Price: 1182 CZK
Availability: InStock
Author: Hubert Comon
ISBN: 9783540593409

French Spring School of Theoretical Computer Science, Font Romeux, France, 17-21, 1993. Advanced Course

Hubert Comon

Jean-Pierre Jouannaud

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01565956

Nakladatelství Springer, Berlin, listopad 1994

This volume contains thoroughly revised versions of the contributions presented at the French Spring... Celý popis

Libristo kód: 01565956

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Der Letzte Held Von Marienburg: Trauerspiel... Joseph Eichendorff (Freiherr von)

Brožovaná

445 Kč

Roy Cohn Philippe Corbé Kniha

Brožovaná

609 Kč

Episodios nacionales. Quinta serie: España sin rey. España trágica. Amadeo I. La primera República. Pérez Galdós

Pevná

1 599 Kč

Посланник. Правдивая история про любовь (3030)

Pevná

841 Kč

Sundancer - Sagesse et visions d'un natif américain Ernie Lapointe

Brožovaná

555 Kč

Escola Bíblica CLAUDIO HENRIQUE CERQUEIRA DUARTE Claudio Duarte

Adobe ePub DRM

98 Kč

This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993.This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many other areas such as formal languages, models of concurrency, tree automata, functional programming languages, constraints, symbolic computation, and automated deduction. The book includes a number of surveys contributed by senior researchers as well as a few papers presenting original research of relevance for the broader theoretical computer science community.