Theoretical Foundations of Programming Methodology
I: Program Development and Verification.- Smoothsort, an Alternative for Sorting in Situ.- Lambek and Moser Revisited.- A General Axiom of Assignment.- Assignment and Linked Data Structures.- A Proof of the Schorr-Waite Algorithm.- Verification of Sequential Programs: Temporal Axiomatization.- Specification and Derivation of Programs.- Repaying Our Debts.- II: Denotational Semantics.- Lectures on a Mathematical Theory of Computation.- Semantic Models.- III: Abstract Data Types.- Algebras, Theories and Freeness: An Introduction for Computer Scientists.- An Analysis of Semantic Models for Algebraic Specifications.- IV: Infinite Structures.- Fundamental Properties of Infinite Trees.- Behaviors of Processes and Synchronized Systems of Processes.- V: Concurrent Programs.- A Tutorial on the Split Binary Semaphore.- A Fixed Point Approach to Applicative Multiprogramming.- Discrete Event Simulation Based on Communicating Sequential Processes.- Structure of an Operating System.
| Reihe | NATO Science Series C |
|---|---|
| ISBN | 9789027714626 |
| Sprache | Englisch |
| Ausgabe | Softcover reprint of the original 1st ed. 1982 |
| Erscheinungsdatum | 31.07.1982 |
| Umfang | 672 Seiten |
| Genre | Mathematik |
| Format | Taschenbuch |
| Verlag | Springer Netherland |
| Herausgegeben von | M. Broy, Günther Schmidt |
Unsere Prinzipien
- kostenlose Lieferung innerhalb Österreichs ab € 35,–
- über 1,5 Mio. Bücher, DVDs & CDs im Angebot
- alle FALTER-Produkte und Abos, nur hier!
- als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
- hohe Sicherheit durch SSL-Verschlüsselung (RSA 2048 bit)
- keine Weitergabe personenbezogener Daten an Dritte
