Vor Ort
Merkzettel Warenkorb
Produktbild: Theoretical Foundations of Programming Methodology
Band 91

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

Aus der Reihe Nato Science Series C:

119,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.07.1982

Abbildungen

672 p.

Herausgeber

M. Broy + weitere

Verlag

Springer Netherland

Seitenzahl

672

Gewicht

1190 g

Auflage

1982

Sprache

Englisch

ISBN

978-90-277-1460-2

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.07.1982

Abbildungen

672 p.

Herausgeber

Verlag

Springer Netherland

Seitenzahl

672

Gewicht

1190 g

Auflage

1982

Sprache

Englisch

ISBN

978-90-277-1460-2

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: 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.