We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£107.11
Springer Program Development by Refinement - B Method Book
Price data last checked 49 day(s) ago - refreshing...
Price History & Forecast
Last 42 days • 42 data points (No recent data available)
Price Distribution
Price distribution over 42 days • 3 price levels
Price Analysis
Most common price: £107 (19 days, 45.2%)
Price range: £102 - £112
Price levels: 3 different prices over 42 days
Description
Key Features
Explores the concept of program refinement to manage software complexity effectively.
Provides a method to separate program specifications from technical implementation details.
Utilizes the B Method to bridge the gap between requirements and efficient code.
Part of the Formal Approaches to Computing and Information Technology (FACIT) series.
Offers case studies to demonstrate practical applications of formal computing approaches.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1852330538
- Domain
- Amazon UK
- Publication Date
- 23 October 1998
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
The B-Book: Assigning Programs to Meanings
Cambridge University Press
Developing Information Systems Accurately: A Wholistic Approach
Springer
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))
Springer
Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)
Springer
Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme
Gabler Verlag
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
Springer
Springer - Conquering Complexity Software Engineering Book
Springer
Software-Entwicklung unter dem Aspekt der Qualitätssicherung
diplom.de
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Business Reengineering: Ein Unternehmensreorganisationsprozeß am Beispiel eines Vertriebsunternehmens
Books on Demand
Information Systems Development: Advances in Methodologies, Components and Management
Springer
Springer - Formal Methods and Models for System Design Book
Springer
Empirical Studies on the Development of Executable Business Processes
Springer
Empirical Studies on the Development of Executable Business Processes
Springer
Software Engineering: A Methodical Approach, 2nd Edition
CRC Press
Software Engineering: A Methodical Approach, 2nd Edition
CRC Press
Reasoning About Program Transformations: Imperative Programming and Flow of Data
Springer
Methodology of Complex Activity: Foundations of Understanding and Modelling: 300 (Studies in Systems, Decision and Control, 300)
Springer
Feature-Oriented Software Product Lines: Concepts and Implementation
Springer
Algebraische Spezifikation: Eine Einführung
Springer
Software Design for Resilient Computer Systems
Springer
Formal Methods: State of the Art and New Directions
Springer
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
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)
North Holland