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

 
9783540731467: Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600, Band 4600)
Softcover
ISBN 10: 3540731466 ISBN 13: 9783540731467
Verlag: Springer, 2007

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.

Verlag
Springer
Erscheinungsdatum
2007
Sprache
Englisch
ISBN 10 
3540731466
ISBN 13 
9783540731467
Einband
Taschenbuch
Anzahl der Seiten
292
Herausgeber
Comon-Lundh Hubert
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540839712: Rewriting, Computation and Proof

Vorgestellte Ausgabe

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