Programming and Mathematical Method: International Summer School: 88 (NATO ASI Subseries F:, 88) - Image 1

£77.89

Springer Programming and Mathematical Method: International Summer School: 88 (NATO ASI Subseries F:, 88)

Name: Programming and Mathematical Method: International Summer School: 88 (NATO ASI Subseries F:, 88)
Brand: Springer
Price: 79.98 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 77 days • 77 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 77 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £78 (55 days, 71.4%)

Price range: £78 - £80

Price levels: 2 different prices over 77 days

Description

The construction of a software system is a task that has to be structured toensure that the software product fulfills all expectations and the process of producing it remains manageable and reliable. Mathematical methods, including logic, algebra and functional calculus, are needed to support structuring and provide notations and basic formal concepts for the foundations of software engineering. Mathematical methods of programming reflect the need for modularization and abstraction and suggest appropriate goal-directed procedures for the construction of software programs. This volume contains the proceedings of an International Summer School held at Marktoberdorf in 1990, the 11th in a series on mathematical methods in programming. Outstanding scientists contributed papers centered around logical and functional calculi for the specification, refinement and verification of programs and program systems, and remarkable examples for the formal development of proofs and algorithms are given.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642775748
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 21 December 2011
Listed Since: 13 July 2012

Barcode

No barcode data available

Springer Programming and Mathematical Method: International Summer School: 88 (NATO ASI Subseries F:, 88)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Logic of Computation: SER F / v.157 (NATO ASI)

Logic, Algebra, and Computation: International Summer School: 79 (NATO ASI Subseries F:, 79)

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

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: 91 (Nato Science Series C:, 91)

Mathematical Software: Proceedings of the First International Congress of Mathematical Software, Beijing, China 17-19 August 2002

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Mathematics in Programming

Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)

Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings: 802 (Lecture Notes in Computer Science, 802)

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... (Lecture Notes in Computer Science, 1709)

Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))

Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

Springer - Conquering Complexity Software Engineering Book

Foundations of Constructive Mathematics: Metamathematical Studies: 6 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 6)

Modelling in Mathematical Programming: Methodology and Techniques: 298 (International Series in Operations Research & Management Science, 298)

Implementing Functional Logic Programs: by Translation into Purely Functional Programs