- 5 Resultados
precio mínimo: € 40,11, precio máximo: € 70,33, precio promedio: € 56,28
1
Rewriting, Computation and Proof
Pedir
por Springer.com
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado

Rewriting, Computation and Proof - libro nuevo

2007, ISBN: 9783540731467

Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through t… Más…

Nr. 978-3-540-73146-7. Gastos de envío:Worldwide free shipping, , DE. (EUR 0.00)
cerrar (X)
2
Pedir
por Biblio.co.uk
$ 76,51
(aprox. € 70,33)
Envío: € 11,991
Pedir
Detalles del proveedor
Enlace patrocinado

Hubert Comon-Lundh:

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday - Pasta blanda

ISBN: 9783540731467

Paperback / softback. New. 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 Birth… Más…

Gastos de envío: EUR 11.99 The Saint Bookstore
cerrar (X)
3
Rewriting Computation and Proof
Pedir
por Hugendubel.de
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Rewriting Computation and Proof - Pasta blanda

2007

ISBN: 9783540731467

*Rewriting Computation and Proof* - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday. Auflage 2007 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratge… Más…

Gastos de envío:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
cerrar (X)
4
Pedir
por Biblio.co.uk
$ 43,64
(aprox. € 40,11)
Envío: € 16,551
Pedir
Detalles del proveedor
Enlace patrocinado
Rewriting, Computation and Proof - libro nuevo

ISBN: 9783540731467

Springer , pp. 294 . Papeback. New., Springer, 6

Gastos de envío: EUR 16.55 Cold Books
cerrar (X)
5
Rewriting, Computation and Proof - Collectif
Pedir
por Rakuten.fr
€ 63,99
Envío: € 11,001
Pedir
Detalles del proveedor
Enlace patrocinado
Collectif:
Rewriting, Computation and Proof - libro usado

ISBN: 9783540731467

Livre, [PU: Springer, Berlin/Heidelberg]

2 Offers. Gastos de envío:France. (EUR 11.00) Priceminister
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Rewriting Computation and Proof
Autor:
Título:
ISBN:

9783540731467


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.

Detalles del libro - Rewriting Computation and Proof


EAN (ISBN-13): 9783540731467
ISBN (ISBN-10): 3540731466
Tapa blanda
Año de publicación: 2007
Editorial: Springer Berlin Heidelberg

Libro en la base de datos desde 2007-11-10T03:32:50-06:00 (Mexico City)
Página de detalles modificada por última vez el 2024-02-17T18:59:42-06:00 (Mexico City)
ISBN/EAN: 9783540731467

ISBN - escritura alterna:
3-540-73146-6, 978-3-540-73146-7
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: lundh, kirchner, claude, hubert
Título del libro: dedicated, computation 666, birthday, pierre jean, kirchner, the proof, rewriting lecture notes computer, pierre his

Datos del la editorial

Autor: Hubert Comon-Lundh
Título: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
Editorial: Springer; Springer Berlin
276 Páginas
Año de publicación: 2007-06-22
Berlin; Heidelberg; DE
Idioma: Inglés
54,99 € (DE)

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Coq; Exception; Maude; algorithm; algorithms; computable functions; electronic money; equational theory; logic; modeling; programming logic; proof theory; recurs; semantics; verification; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Programming Techniques; Software Engineering; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Software Engineering; EA

Rewriting Foundations.- The Hydra Battle Revisited.- Orderings and Constraints: Theory and Practice of Proving Termination.- Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations.- Computability Closure: Ten Years Later.- Reduction Strategies and Acyclicity.- Proof and Computation.- Towards Rewriting in Coq.- Superdeduction at Work.- Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus.- Linear Recursive Functions.- Towards Safety and Security.- Deducibility Constraints, Equational Theory and Electronic Money.- Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms.- Towards Modular Algebraic Specifications for Pointer Programs: A Case Study.- Modeling Permutations in Coq for Coccinelle.

Más, otros libros, que pueden ser muy parecidos a este:

Último libro similar:
9783540731474 Rewriting, Computation and Proof (Hubert Comon-Lundh; Claude Kirchner; Hélène Kirchner)

< para archivar...