- 5 Risultati
prezzo più basso: € 40,11, prezzo più alto: € 70,33, prezzo medio: € 56,28
1
Rewriting, Computation and Proof
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Rewriting, Computation and Proof - nuovo libro

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 …

Nr. 978-3-540-73146-7. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
Chiudere (X)
2
Ordina
da Biblio.co.uk
$ 76,51
(indicativi € 70,33)
Spedizione: € 11,991
Ordina
Dettagli del offerente
Link sponsorizzato

Hubert Comon-Lundh:

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 …

Costi di spedizione: EUR 11.99 The Saint Bookstore
Chiudere (X)
3
Rewriting Computation and Proof
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Rewriting Computation and Proof - edizione con copertina flessibile

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 …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
4
Ordina
da Biblio.co.uk
$ 43,64
(indicativi € 40,11)
Spedizione: € 16,551
Ordina
Dettagli del offerente
Link sponsorizzato
Rewriting, Computation and Proof - nuovo libro

ISBN: 9783540731467

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

Costi di spedizione: EUR 16.55 Cold Books
Chiudere (X)
5
Rewriting, Computation and Proof - Collectif
Ordina
da Rakuten.fr
€ 63,99
Spedizione: € 11,001
Ordina
Dettagli del offerente
Link sponsorizzato
Collectif:
Rewriting, Computation and Proof - libri usati

ISBN: 9783540731467

Livre, [PU: Springer, Berlin/Heidelberg]

2 Offers. Costi di spedizione:France. (EUR 11.00) Priceminister
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Rewriting Computation and Proof
Autore:
Titolo:
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.

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...