- 5 Ergebnisse
Kleinster Preis: € 11,78, größter Preis: € 56,51, Mittelwert: € 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)
Bestellen
bei amazon.co.uk
£ 40,42
(ca. € 47,10)
Versand: € 5,591
Bestellengesponserter Link

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

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, … Mehr…

Gebraucht, wie neu. Versandkosten: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)
Bestellen
bei amazon.co.uk
£ 12,00
(ca. € 13,98)
Versand: € 5,591
Bestellengesponserter Link
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings: 4014 (Lecture Notes in Computer Science, 4014) - Taschenbuch

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, … Mehr…

Versandkosten: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)
Bestellen
bei amazon.co.uk
£ 43,20
(ca. € 49,38)
Versand: € 5,491
Bestellengesponserter Link
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings: 4014 (Theoretical Computer Science and General Issues, 4014) - Taschenbuch

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, … Mehr…

Gebraucht, wie neu. Versandkosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.49) swestbooks
4
Bestellen
bei Biblio.co.uk
$ 60,03
(ca. € 56,51)
Versand: € 17,051
Bestellengesponserter Link
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) - Taschenbuch

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

Versandkosten: EUR 17.05 GuthrieBooks
5
Bestellen
bei Biblio.co.uk
$ 12,82
(ca. € 11,78)
Versand: € 19,291
Bestellengesponserter Link
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) - Taschenbuch

2006, ISBN: 9783540356318

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

Versandkosten: EUR 19.29 Ergodebooks

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
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.

Detailangaben zum Buch - 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
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2006
Herausgeber: Springer

Buch in der Datenbank seit 2007-05-31T10:58:02+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-22T04:04:33+01:00 (Vienna)
ISBN/EAN: 9783540356318

ISBN - alternative Schreibweisen:
3-540-35631-2, 978-3-540-35631-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: uustalu, uustal
Titel des Buches: estonia 2006, kuressaare, about estonia, lecture notes computer science, mathematics program construction, proceedings construction


Daten vom Verlag:

Autor/in: Tarmo Uustalu
Titel: 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
Verlag: Springer; Springer Berlin
458 Seiten
Erscheinungsjahr: 2006-06-27
Berlin; Heidelberg; DE
Sprache: Englisch
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.

< zum Archiv...