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

£151.65

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

Name: Program Design Calculi: 118 (NATO ASI Subseries F:, 118)
Brand: Springer
Price: 151.65 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 16 days • 1 price levels

Days at Price

Price Analysis

Most common price: £152 (16 days, 100.0%)

Price range: £152 - £152

Price levels: 1 different prices over 16 days

Description

The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal proof-to show the correctness of the developed steps. The development ends if a description of a solution is obtained that has aU the required properties. The Summer School in Marktoberdorf 1992 showed significant approaches in this area to refinement calculi, to models of computation, and as a special issue to the treatment of reactive timed systems. Like in the many summer schools before, the success of the 1992 Summer School was not only due to the excellent lectures, but even more due to the brilliant students taking part in the discussions at the summer school, the exchange of different views, and the recognition of the similarity of a number of different view points. These were some of the most important contributions of the summer school. fu the following the proceedings of the summer school are collected. They show the maturity of the field in an impressive way.

Product Specifications

Brand: Springer
Format: Hardcover
ASIN: 354056943X
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 03 November 1993
Listed Since: 16 December 2006

Barcode

No barcode data available

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

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)

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

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

Birkhauser Semantics of Type Theory - Computer Science Book

Information Systems Development: Advances in Methodologies, Components and Management

A Process Algebraic Approach to Software Architecture Design

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

Informationssysteme und Künstliche Intelligenz: Modellierung: 2. Workshop Ulm, 24-26. Februar 1992 Proceedings: 303 (Informatik-Fachberichte, 303)

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

Information System Development Process: Proceedings of the IFIP WG8.1 Working Conference, Como, Italy, 1-3 September 1993: v. A-30 (IFIP Transactions A: Computer Science and Technology)

Language Computability and Formal Language Theory

Proof and System-Reliability: v. 62 (NATO Science Series II)

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

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Springer - Composing Model-Based Analysis Tools Book

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Internet - Technical Developments and Applications 2: 118 (Advances in Intelligent and Soft Computing, 118)

Funktionelle Analyse von Kommunikationsprotokollen: 247 (Informatik-Fachberichte, 247)

Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Software-Entwicklung unter dem Aspekt der Qualitätssicherung

Developing Information Systems Accurately: A Wholistic Approach

Advances in Intelligent Process-Aware Information Systems: Concepts, Methods, and Technologies: 123 (Intelligent Systems Reference Library, 123)

Constructive Models (Siberian School of Algebra and Logic)