Verwandte Artikel zu Rewriting, Computation and Proof: Essays Dedicated...

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday: 4600 (Lecture Notes in Computer Science) - Softcover

 
9783540731467: Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday: 4600 (Lecture Notes in Computer Science)

Inhaltsangabe

Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This Festschrift volume, published to honor him on his 60th Birthday, includes 13 refereed papers by leading researchers, current and former colleagues. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Críticas

From the reviews:

"The book ... gives an overview of Jouannaud’s distinguished career and contributions, and provides an impressive list of doctoral descendants. ... will be very useful not only as a reference tool for specialists, but also as an inspiration and source of ideas for budding researchers." (G. Sivakumar, ACM Computing Reviews, Vol. 49 (12), December, 2008)

Reseña del editor

Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This Festschrift volume, published to honor him on his 60th Birthday, includes 13 refereed papers by leading researchers, current and former colleagues. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Gebraucht kaufen

Zustand: Gut
Ex-library paperback in very nice...
Diesen Artikel anzeigen

EUR 5,94 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783540839712: Rewriting, Computation and Proof

Vorgestellte Ausgabe

ISBN 10:  3540839712 ISBN 13:  9783540839712
Verlag: Springer, 2008
Softcover

Suchergebnisse für Rewriting, Computation and Proof: Essays Dedicated...

Beispielbild für diese ISBN

Hubert Comon-Lundh
Verlag: Springer, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
Neu Softcover

Anbieter: Basi6 International, Irving, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-269759

Verkäufer kontaktieren

Neu kaufen

EUR 38,73
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Comon-Lundh, Hubert [Editor]; Kirchner, Claude [Editor]; Kirchner, Hélène [Editor];
Verlag: Springer, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
Gebraucht Paperback

Anbieter: GuthrieBooks, Spring Branch, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verkäufers 12800

Verkäufer kontaktieren

Gebraucht kaufen

EUR 32,85
Währung umrechnen
Versand: EUR 5,94
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 294. Bestandsnummer des Verkäufers 26301386

Verkäufer kontaktieren

Neu kaufen

EUR 40,05
Währung umrechnen
Versand: EUR 3,39
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
Neu Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 294 Illus. Bestandsnummer des Verkäufers 7546517

Verkäufer kontaktieren

Neu kaufen

EUR 38,91
Währung umrechnen
Versand: EUR 7,49
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
Neu Softcover

Anbieter: ALLBOOKS1, Direk, SA, Australien

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Bestandsnummer des Verkäufers SHUB269759

Verkäufer kontaktieren

Neu kaufen

EUR 46,54
Währung umrechnen
Versand: Gratis
Von Australien nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
Neu Softcover

Anbieter: Best Price, Torrance, CA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783540731467

Verkäufer kontaktieren

Neu kaufen

EUR 48,13
Währung umrechnen
Versand: EUR 6,78
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
Neu Softcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020175830

Verkäufer kontaktieren

Neu kaufen

EUR 52,11
Währung umrechnen
Versand: EUR 3,39
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783540731467_new

Verkäufer kontaktieren

Neu kaufen

EUR 60,27
Währung umrechnen
Versand: EUR 13,80
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Hubert Comon-Lundh
Verlag: Springer 2007-08-17, 2007
ISBN 10: 3540731466 ISBN 13: 9783540731467
Neu Paperback

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540731467

Verkäufer kontaktieren

Neu kaufen

EUR 56,59
Währung umrechnen
Versand: EUR 17,84
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 10 verfügbar

In den Warenkorb

Foto des Verkäufers

Hubert Comon-Lundh
ISBN 10: 3540731466 ISBN 13: 9783540731467
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This Festschrift volume, published to honor him on his 60th Birthday, includes 13 refereed papers by leading researchers, current and former colleagues. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security. 292 pp. Englisch. Bestandsnummer des Verkäufers 9783540731467

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Es gibt 5 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen