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…
amazon.co.uk BOOKS etc 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) Details... |
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…
amazon.co.uk Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.59) Details... |
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…
amazon.co.uk swestbooks Gebraucht, wie neu. Versandkosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.49) Details... |
2006, ISBN: 3540356312
[EAN: 9783540356318], Neubuch, [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV) BETRIEBSSYSTEM OPERATING SYSTEM COMPILER ÜBERSETZER PROGRAMMIERSPRACHEN EDV THEORIE SOFTWARE-ENTW. SOF… Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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
Biblio.co.uk |
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…
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…
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…
2006, ISBN: 3540356312
[EAN: 9783540356318], Neubuch, [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV) BETRIEBSSYSTEM OPERATING SYSTEM COMPILER ÜBERSETZER PROGRAMMIERSPRACHEN EDV THEORIE SOFTWARE-ENTW. SOF… Mehr…
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
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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-04-03T00:09:02+02: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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387566252 Payment for Environmental Services in Agricultural Landscapes (Richard S. Bird, C. C. Morgan)
- 9780387566252 Payment for Environmental Services in Agricultural Landscapes (Richard S. Bird, C. C. Morgan)
- 9780387729695 Payment for Environmental Services in Agricultural Landscapes (Leslie Lipper; Takumi Sakuyama; Randy Stringer; David Zilberman)
- Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7?9, 2019, Proceedings (Lecture Notes in Computer Science Book 11825) (English Edition) (Tarmo Uustalu)
< zum Archiv...