Picture 1 of 24
Stock photo
Picture 1 of 24
Stock photo
NATO Science Series C: Ser.: Theoretical Foundations of Programming Methodology by G. Schmidt (1982, Hardcover)
LouG (1550)
99.6% positive feedback
Price:
US $49.00
ApproximatelyRM 207.20
+ $36.98 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherSpringer Netherlands
ISBN-109027714606
ISBN-139789027714602
eBay Product ID (ePID)1117376
Product Key Features
Number of Pages672 Pages
LanguageEnglish
Publication NameTheoretical Foundations of Programming Methodology
SubjectGeneral, Optimization
Publication Year1982
TypeTextbook
AuthorG. Schmidt
Subject AreaMathematics
SeriesNATO Science Series C: Ser.
FormatHardcover
Dimensions
Item Weight42 Oz
Item Length9.4 in
Item Width6.3 in
Additional Product Features
Intended AudienceScholarly & Professional
LCCN85-011763
Dewey Edition19
Series Volume Number91
Number of Volumes1 vol.
IllustratedYes
Dewey Decimal539.7/223
Table Of ContentI: 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.
SynopsisPapers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Münich and sponsored by the NATO Scientific Affairs Division, Germany, 1981
LC Classification NumberQA1-939
Be the first to write a review
