£148.83

Springer Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)

Price data checked 1 day ago

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£149 today · all-time low £149 (Feb 2026) · usually £149

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 90 days • 90 data points

Historical
Generating forecast...
£149.64 £148.61 £148.83 £149.06 £149.28 £149.51 £149.73 18 February 2026 12 March 2026 03 April 2026 25 April 2026 18 May 2026

Price Distribution

Price distribution over 90 days • 2 price levels

Days at Price
Current Price
36 days · current 54 days 0 14 27 41 54 £149 £150 Days at Price

Price Analysis

Most common price: £150 (54 days, 60.0%)

Price range: £149 - £150

Price levels: 2 different prices over 90 days

Description

Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
17 January 2013
Listed Since
07 November 2013

Barcode

No barcode data available

Similar Products You Might Like

Computer Aided Design: Fundamentals and System Architectures (Symbolic Computation)
84% match

Computer Aided Design: Fundamentals and System Architectures (Symbolic Computation)

Springer

£76.05 18 May 2026
From Geometric Modeling to Shape Modeling: IFIP TC5 WG5.2 Seventh Workshop on Geometric Modeling: Fundamentals and Applications October 2–4, 2000, ... Information and Communication Technology, 80)
83% match

From Geometric Modeling to Shape Modeling: IFIP TC5 WG5.2 Seventh Workshop on Geometric Modeling: Fundamentals and Applications October 2–4, 2000, ... Information and Communication Technology, 80)

Springer

£107.12 18 May 2026
From Geometric Modeling to Shape Modeling: IFIP TC5 WG5.2 Seventh Workshop on Geometric Modeling: Fundamentals and Applications October 2–4, 2000, ... Information and Communication Technology, 80)
83% match

From Geometric Modeling to Shape Modeling: IFIP TC5 WG5.2 Seventh Workshop on Geometric Modeling: Fundamentals and Applications October 2–4, 2000, ... Information and Communication Technology, 80)

Springer

£69.15 18 May 2026
From Knowledge Intensive CAD to Knowledge Intensive Engineering: IFIP TC5 WG5.2. Fourth Workshop on Knowledge Intensive CAD May 22–24, 2000, Parma, ... Information and Communication Technology, 79)
83% match

From Knowledge Intensive CAD to Knowledge Intensive Engineering: IFIP TC5 WG5.2. Fourth Workshop on Knowledge Intensive CAD May 22–24, 2000, Parma, ... Information and Communication Technology, 79)

Springer

£107.27 18 May 2026
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)
83% match

Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)

Springer

£156.00 18 May 2026
Knowledge Intensive CAD: Volume 2 Proceedings of the IFIP TC5 WG5.2 International Conference on Knowledge Intensive CAD, 16–18 September 1996, ... in Information and Communication Technology)
82% match

Knowledge Intensive CAD: Volume 2 Proceedings of the IFIP TC5 WG5.2 International Conference on Knowledge Intensive CAD, 16–18 September 1996, ... in Information and Communication Technology)

Springer

£73.85 18 May 2026
Computer Based Design and Manufacturing
82% match

Computer Based Design and Manufacturing

Springer

£107.98 18 May 2026
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)
82% match

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)

Springer

£147.54 18 May 2026
Designers: The Key to Successful Product Development
81% match

Designers: The Key to Successful Product Development

Springer

£113.76 18 May 2026
Human Work Interaction Design: Designing for Human Work: The first IFIP TC 13.6 WG Conference: Designing for Human Work, February 13-15, 2006, ... and Communication Technology, 221)
81% match

Human Work Interaction Design: Designing for Human Work: The first IFIP TC 13.6 WG Conference: Designing for Human Work, February 13-15, 2006, ... and Communication Technology, 221)

Springer

£73.85 18 May 2026
Logic and Architecture Synthesis (IFIP Advances in Information and Communication Technology)
81% match

Logic and Architecture Synthesis (IFIP Advances in Information and Communication Technology)

Springer

£120.81 18 May 2026
Advances in Soft Computing: Engineering Design and Manufacturing
81% match

Advances in Soft Computing: Engineering Design and Manufacturing

Springer

£142.19 18 May 2026
Artificial Intelligence in Design '98
81% match

Artificial Intelligence in Design '98

Springer

£78.71 04 May 2026
The Design Productivity Debate
80% match

The Design Productivity Debate

Springer

£108.56 18 May 2026
Design Principles for Interactive Software (IFIP Advances in Information and Communication Technology)
80% match

Design Principles for Interactive Software (IFIP Advances in Information and Communication Technology)

Springer

£73.97 18 May 2026
Human-Computer Interaction Symposium: IFIP 20th World Computer Congress, Proceedings of the 1st TC 13 Human-Computer Interaction Symposium (HCIS ... and Communication Technology, 272)
80% match

Human-Computer Interaction Symposium: IFIP 20th World Computer Congress, Proceedings of the 1st TC 13 Human-Computer Interaction Symposium (HCIS ... and Communication Technology, 272)

Springer

£73.67 18 May 2026
Computational Morphologies: Design Rules Between Organic Models and Responsive Architecture
80% match

Computational Morphologies: Design Rules Between Organic Models and Responsive Architecture

Springer

£73.85 18 May 2026
Re-engineering the Enterprise: Proceedings of the IFIP TC5/WG5.7 Working Conference on Re-engineering the Enterprise, Galway, Ireland, 1995 (IFIP Advances in Information and Communication Technology)
80% match

Re-engineering the Enterprise: Proceedings of the IFIP TC5/WG5.7 Working Conference on Re-engineering the Enterprise, Galway, Ireland, 1995 (IFIP Advances in Information and Communication Technology)

Springer

£113.09 18 May 2026
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)
80% match

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)

Springer

£56.55 16 May 2026
A Computer-Aided Design and Synthesis Environment for Analog Integrated Circuits: 672 (The Springer International Series in Engineering and Computer Science, 672)
80% match

A Computer-Aided Design and Synthesis Environment for Analog Integrated Circuits: 672 (The Springer International Series in Engineering and Computer Science, 672)

Springer

£107.30 18 May 2026
Design Methodology for Intelligent Technical Systems: Develop Intelligent Technical Systems of the Future (Lecture Notes in Mechanical Engineering)
80% match

Design Methodology for Intelligent Technical Systems: Develop Intelligent Technical Systems of the Future (Lecture Notes in Mechanical Engineering)

Springer

£76.38 18 May 2026
Low-Power Design Techniques and CAD Tools for Analog and RF Integrated Circuits
80% match

Low-Power Design Techniques and CAD Tools for Analog and RF Integrated Circuits

Springer

£107.93 18 May 2026
Low-Power Design Techniques and CAD Tools for Analog and RF Integrated Circuits
80% match

Low-Power Design Techniques and CAD Tools for Analog and RF Integrated Circuits

Springer

£112.61 16 May 2026
Computer Aided Design in Control Systems 1988: Selected Papers from the 4th IFAC Symposium, Beijing, PRC, 23-25 August 1988 (IFAC Symposia Series)
80% match

Computer Aided Design in Control Systems 1988: Selected Papers from the 4th IFAC Symposium, Beijing, PRC, 23-25 August 1988 (IFAC Symposia Series)

£110.00 18 May 2026