- 5 Risultati
prezzo più basso: € 11,78, prezzo più alto: € 56,51, prezzo medio: € 35,75
1
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings: 4014 (Lecture Notes in Computer Science, 4014)
Ordina
da amazon.co.uk
£ 40,42
(indicativi € 47,10)
Spedizione: € 5,591
OrdinaLink sponsorizzato

Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings: 4014 (Lecture Notes in Computer Science, 4014) - edizione con copertina flessibile

2006, ISBN: 9783540356318

Editor: Uustalu, Tarmo, Springer, Paperback, Auflage: 2006, 468 Seiten, Publiziert: 2006-06-27T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 1, 0.65 kg, Architecture & Microprocessors, … Altro …

Gebraucht, wie neu. Costi di spedizione:Usually dispatched within 13 to 14 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.59) BOOKS etc
2
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings: 4014 (Lecture Notes in Computer Science, 4014)
Ordina
da amazon.co.uk
£ 12,00
(indicativi € 13,98)
Spedizione: € 5,591
OrdinaLink sponsorizzato
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings: 4014 (Lecture Notes in Computer Science, 4014) - edizione con copertina flessibile

2006, ISBN: 9783540356318

Editor: Uustalu, Tarmo, Springer, Paperback, Auflage: 2006, 468 Seiten, Publiziert: 2006-06-27T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 1, 0.65 kg, Architecture & Microprocessors, … Altro …

Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.59)
3
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings: 4014 (Theoretical Computer Science and General Issues, 4014)
Ordina
da amazon.co.uk
£ 43,20
(indicativi € 49,38)
Spedizione: € 5,491
OrdinaLink sponsorizzato
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings: 4014 (Theoretical Computer Science and General Issues, 4014) - edizione con copertina flessibile

2006

ISBN: 9783540356318

Editor: Uustalu, Tarmo, Springer, Paperback, Auflage: 2006, 468 Seiten, Publiziert: 2006-06-27T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 1, 0.65 kg, Architecture & Microprocessors, … Altro …

Gebraucht, wie neu. Costi di spedizione:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.49) swestbooks
4
Ordina
da Biblio.co.uk
$ 60,03
(indicativi € 56,51)
Spedizione: € 17,051
OrdinaLink sponsorizzato
Uustalu, Tarmo [Editor]:
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings (Lecture Notes in ... Computer Science and General Issues) - edizione con copertina flessibile

2006, ISBN: 9783540356318

Springer, 2006-06-27. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2006-06-27, 3

Costi di spedizione: EUR 17.05 GuthrieBooks
5
Ordina
da Biblio.co.uk
$ 12,82
(indicativi € 11,78)
Spedizione: € 19,291
OrdinaLink sponsorizzato
Tarmo Uustalu (Editor):
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings (Lecture Notes in ... Computer Science and General Issues) - edizione con copertina flessibile

2006, ISBN: 9783540356318

Springer, 2006-07-28. 2006. Paperback. Used:Good., Springer, 2006-07-28, 0

Costi di spedizione: EUR 19.29 Ergodebooks

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
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings: 4014 (Lecture Notes in Computer Science, 4014)

This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006, co-located with AMAST 2006, the 11th International Conference on Algebraic Methodology and Software Technology. The 22 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 45 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.

Informazioni dettagliate del libro - Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings: 4014 (Lecture Notes in Computer Science, 4014)


EAN (ISBN-13): 9783540356318
ISBN (ISBN-10): 3540356312
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2006
Editore: Springer

Libro nella banca dati dal 2007-05-31T10:58:02+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-01-22T04:04:33+01:00 (Zurich)
ISBN/EAN: 9783540356318

ISBN - Stili di scrittura alternativi:
3-540-35631-2, 978-3-540-35631-8
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : uustalu, uustal
Titolo del libro: estonia 2006, kuressaare, about estonia, lecture notes computer science, mathematics program construction, proceedings construction


Dati dell'editore

Autore: Tarmo Uustalu
Titolo: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Mathematics of Program Construction - 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
Editore: Springer; Springer Berlin
458 Pagine
Anno di pubblicazione: 2006-06-27
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 458 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Coq; algorithm; algorithmics; algorithms; correct software; dynamic programming; formal methods; generic programming; kleene algebra; object oriented design; program analysis; program construction; programming; programming language; semantics; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Theory of Computation; Compilers and Interpreters; Theoretische Informatik; Compiler und Übersetzer; EA

Invited Talks.- What Is a Good Process Semantics?.- Refunctionalization at Work.- Aspects and Data Refinement.- Contributed Papers.- Towards Generic Programming with Sized Types.- Relational Semantics for Higher-Order Programs.- Proofs of Randomized Algorithms in Coq.- Exercises in Quantifier Manipulation.- Improving Saddleback Search: A Lesson in Algorithm Design.- Loopless Functional Algorithms.- Compositional Reasoning for Pointer Structures.- Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards.- Fission for Program Comprehension.- “Scrap Your Boilerplate” Revolutions.- Generic Views on Data Types.- Recursion Schemes for Dynamic Programming.- Bimonadic Semantics for Basic Pattern Matching Calculi.- Nondeterministic Folds.- A Datastructure for Iterated Powers.- Continuous Action System Refinement.- The Linear Algebra of UTP.- The Shadow Knows: Refinement of Ignorance in Sequential Programs.- Swapping Arguments and Results of Recursive Functions.- Refinement Algebra with Operators for Enabledness and Termination.- Constructing Rewrite-Based Decision Procedures for Embeddings and Termination.- Quantum Predicative Programming.

< Per archiviare...