Theoretical Foundations of Programming Methodology

Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare
€ 71.49
Lieferbar in 14 Tagen
-
+
Kurzbeschreibung des Verlags:

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.

weiterlesen
Produktdetails
Mehr Informationen
ReiheNATO 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
Diese Produkte könnten Sie auch interessieren:
W.M Boerner, Leonard A. Cram, William A. Holm, David E. Stein, Werner Wi...
€ 87,99
W.M Boerner, Hans Brand, Leonard A. Cram, Dag T. Gjessing, A.K. Jordan, ...
€ 87,99
Peru Jena, S.N. Khanna, B.K.N. Rao
€ 87,99
Rolando Garcia, Guido Visconti
€ 71,49
John F. Jardine, V.P. Snaith
€ 317,90
Marcello Felli, Ralph E. Spencer
€ 314,60
Michael N. Alexis, Constantin E. Sekeris
€ 289,30