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… Altro …
Springer.com Nr. 978-3-540-73146-7. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday - edizione con copertina flessibile
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… Altro …
Biblio.co.uk |
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… Altro …
Hugendubel.de Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783540731467
Springer , pp. 294 . Papeback. New., Springer, 6
Biblio.co.uk |
ISBN: 9783540731467
Livre, [PU: Springer, Berlin/Heidelberg]
Rakuten.fr |
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… Altro …
Hubert Comon-Lundh:
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday - edizione con copertina flessibileISBN: 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… Altro …
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… Altro …
ISBN: 9783540731467
Springer , pp. 294 . Papeback. New., Springer, 6
ISBN: 9783540731467
Livre, [PU: Springer, Berlin/Heidelberg]
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Rewriting Computation and Proof
EAN (ISBN-13): 9783540731467
ISBN (ISBN-10): 3540731466
Copertina flessibile
Anno di pubblicazione: 2007
Editore: Springer Berlin Heidelberg
Libro nella banca dati dal 2007-11-10T10:32:50+01:00 (Rome)
Pagina di dettaglio ultima modifica in 2024-02-18T01:59:42+01:00 (Rome)
ISBN/EAN: 9783540731467
ISBN - Stili di scrittura alternativi:
3-540-73146-6, 978-3-540-73146-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : lundh, kirchner, claude, hubert
Titolo del libro: dedicated, computation 666, birthday, pierre jean, kirchner, the proof, rewriting lecture notes computer, pierre his
Dati dell'editore
Autore: Hubert Comon-Lundh
Titolo: 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
Editore: Springer; Springer Berlin
276 Pagine
Anno di pubblicazione: 2007-06-22
Berlin; Heidelberg; DE
Lingua: Inglese
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540731474 Rewriting, Computation and Proof (Hubert Comon-Lundh; Claude Kirchner; Hélène Kirchner)
< Per archiviare...