£147.11

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 last checked 37 day(s) ago - refreshing...

View at Amazon

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

It has never been this cheap. We have no record of a lower price.

£147 today · cheaper than every other day in the last 3 months

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 54 days • 54 data points (No recent data available)

Historical
Generating forecast...
£149.64 £146.86 £147.46 £148.07 £148.68 £149.29 £149.89 05 April 2026 18 April 2026 01 May 2026 14 May 2026 28 May 2026

Price Distribution

Price distribution over 54 days • 3 price levels

Days at Price
Current Price
1 day · current 26 days 27 days 0 7 14 20 27 £147 £149 £150 Days at Price

Price Analysis

Most common price: £150 (27 days, 50.0%)

Price range: £147 - £150

Price levels: 3 different prices over 54 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

CAD Tools and Algorithms for Product Design
84% match

CAD Tools and Algorithms for Product Design

Springer

£76.38 02 Jun 2026
Electronic Design Automation Frameworks: Proceedings of the fourth International IFIP WG 10.5 working conference on electronic design automation ... in Information and Communication Technology)
84% match

Electronic Design Automation Frameworks: Proceedings of the fourth International IFIP WG 10.5 working conference on electronic design automation ... in Information and Communication Technology)

Springer

£119.27 06 Jun 2026
Computer Aided Design: Fundamentals and System Architectures (Symbolic Computation)
84% match

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

Springer

£76.38 01 Jun 2026
Computer Aided Design: Fundamentals and System Architectures (Symbolic Computation)
84% match

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

Springer

£76.38 25 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 29 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.98 28 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.98 27 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
The Future of Design Methodology
83% match

The Future of Design Methodology

Springer

£114.83 05 Jun 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 27 May 2026
Integration of Process Knowledge into Design Support Systems: Proceedings of the 1999 CIRP International Design Seminar, University of Twente, Enschede, The Netherlands, 24–26 March, 1999
82% match

Integration of Process Knowledge into Design Support Systems: Proceedings of the 1999 CIRP International Design Seminar, University of Twente, Enschede, The Netherlands, 24–26 March, 1999

Springer

£114.16 01 Jun 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

£148.05 04 Jun 2026
Formal Description Techniques VII (IFIP Advances in Information and Communication Technology)
82% match

Formal Description Techniques VII (IFIP Advances in Information and Communication Technology)

Springer

£154.48 02 Jun 2026
CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation: Industrial and Research Applications
82% match

CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation: Industrial and Research Applications

Springer

£61.80 12 Jun 2026
Designers: The Key to Successful Product Development
81% match

Designers: The Key to Successful Product Development

Springer

£113.76 02 Jun 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 26 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 04 Jun 2026
Artificial Intelligence in Design '02
81% match

Artificial Intelligence in Design '02

Springer

£146.68 04 Jun 2026
A Formal Approach to Hardware Design: 253 (The Springer International Series in Engineering and Computer Science, 253)
81% match

A Formal Approach to Hardware Design: 253 (The Springer International Series in Engineering and Computer Science, 253)

Springer

£121.44 28 Jun 2026
Advances in CAD/CAM: Case Studies
81% match

Advances in CAD/CAM: Case Studies

Springer

£108.08 31 May 2026
Advances in Soft Computing: Engineering Design and Manufacturing
81% match

Advances in Soft Computing: Engineering Design and Manufacturing

Springer

£143.38 29 May 2026
Situational Method Engineering: Fundamentals and Experiences: Proceedings of the IFIP WG 8.1 Working Conference, 12-14 September 2007, Geneva, ... and Communication Technology, 244)
81% match

Situational Method Engineering: Fundamentals and Experiences: Proceedings of the IFIP WG 8.1 Working Conference, 12-14 September 2007, Geneva, ... and Communication Technology, 244)

Springer

£76.06 13 Jun 2026
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
81% match

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Springer

£106.92 03 Jun 2026