£76.38

Springer The SECD Microprocessor: A Verification Case Study: 178 (The Springer International Series in Engineering and Computer Science, 178)

Price data last checked 55 day(s) ago - refreshing...

View at Amazon

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

This is the most expensive it has ever been. Walk away.

£76 today · previous high £76 · all-time low £74

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

Historical
Generating forecast...
£76.38 £73.69 £74.27 £74.86 £75.45 £76.04 £76.63 19 March 2026 27 March 2026 05 April 2026 14 April 2026 23 April 2026

Price Distribution

Price distribution over 36 days • 2 price levels

Days at Price
Current Price
8 days 22 days · current 0 6 11 17 22 £74 £76 Days at Price

Price Analysis

Most common price: £76 (22 days, 73.3%)

Price range: £74 - £76

Price levels: 2 different prices over 30 days

Description

The SECD Microprocessor is a substantial case study in hardware specification and verification. The subject is a silicon implementation of Landin's SECD machine, which is transformed into a layout, formally specified, and partially verified using the HOL proof assistant. It is important as a nontrivial worked example, clearly describing the organization and execution of the correctness of proof, and by making the sources available, will be helpful to those considering the use or learning about the application of formal methods. The architecture is designed to provide support for functional programming, with complex machine instruction to support recursive definitions and function calls. This considerably raises the complexity of the state transitions to be verified, and an abstract data type and operations are introduced to express the specification. The SECD Microprocessor illustrates what formal methods can achieve today, not only by some expert elite, but by anyone prepared to carefully consider the problems at hand.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
08 October 2012
Listed Since
14 July 2013

Barcode

No barcode data available

Similar Products You Might Like

The SECD Microprocessor: A Verification Case Study: 178 (The Springer International Series in Engineering and Computer Science, 178)
96% match

The SECD Microprocessor: A Verification Case Study: 178 (The Springer International Series in Engineering and Computer Science, 178)

Springer

£75.64 06 May 2026
North Holland Higher Order Logic Theorem Proving Proceedings
95% match

North Holland Higher Order Logic Theorem Proving Proceedings

North Holland

£120.00 30 May 2026
Microprogrammed State Machine Design
95% match

Microprogrammed State Machine Design

CRC Press

£175.64 08 Mar 2026
Springer Computer Architecture: A Minimalist Perspective 730
95% match

Springer Computer Architecture: A Minimalist Perspective 730

Springer

£129.99 26 Apr 2026
Formal System Verification: State-of the-Art and Future Trends
95% match

Formal System Verification: State-of the-Art and Future Trends

Springer

£88.40 06 Mar 2026
Guide to Computer Processor Architecture: A RISC-V Approach, with High-Level Synthesis (Undergraduate Topics in Computer Science)
95% match

Guide to Computer Processor Architecture: A RISC-V Approach, with High-Level Synthesis (Undergraduate Topics in Computer Science)

Springer

£35.37 26 Feb 2026
System Specification and Design Languages: Selected Contributions from FDL 2010: 106 (Lecture Notes in Electrical Engineering, 106)
95% match

System Specification and Design Languages: Selected Contributions from FDL 2010: 106 (Lecture Notes in Electrical Engineering, 106)

Springer

£103.81 07 May 2026
Springer Advances in Design and Specification Languages Book
95% match

Springer Advances in Design and Specification Languages Book

Springer

£84.86 30 Apr 2026
Springer System-on-Chip Methodologies & Design Languages Book
95% match

Springer System-on-Chip Methodologies & Design Languages Book

Springer

£116.26 30 Apr 2026
VHDL: Modular Design and Synthesis of Cores and Systems, 3rd Edition
95% match

VHDL: Modular Design and Synthesis of Cores and Systems, 3rd Edition

McGraw-Hill Education

£56.45 27 Apr 2026
Current Trends in Hardware Verification and Automated Theorem Proving
95% match

Current Trends in Hardware Verification and Automated Theorem Proving

Springer

£77.89 07 May 2026
Computer Organization: Basic Processor Structure
95% match

Computer Organization: Basic Processor Structure

CRC Press

£140.29 11 Feb 2026
Springer System Specification and Design Languages FDL 2010
95% match

Springer System Specification and Design Languages FDL 2010

Springer

£107.98 02 May 2026
Computer Organization: Basic Processor Structure
95% match

Computer Organization: Basic Processor Structure

CRC Press

£67.70 25 Apr 2026
Logic Synthesis for Compositional Microprogram Control Units: 22 (Lecture Notes in Electrical Engineering, 22)
95% match

Logic Synthesis for Compositional Microprogram Control Units: 22 (Lecture Notes in Electrical Engineering, 22)

Springer

£107.73 10 Apr 2026
The Microprocessor: A Practical Introduction using the Arm Cortex-M0 Processor (Wiley-Arm Professional Computing and Electrical Engineering Series)
95% match

The Microprocessor: A Practical Introduction using the Arm Cortex-M0 Processor (Wiley-Arm Professional Computing and Electrical Engineering Series)

Wiley

£72.21 25 Jan 2026
Principles of Computer Hardware
95% match

Principles of Computer Hardware

Oxford University Press

£64.99 04 Feb 2026
Introduction to Computing Systems: From Bits & Gates to C & Beyond (IRWIN COMPUTER SCIENCE)
95% match

Introduction to Computing Systems: From Bits & Gates to C & Beyond (IRWIN COMPUTER SCIENCE)

McGraw-Hill Education

£134.58 01 Mar 2026
Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)
95% match

Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)

Springer

£76.14 08 Apr 2026
A Practical Introduction to Computer Architecture (Texts in Computer Science)
95% match

A Practical Introduction to Computer Architecture (Texts in Computer Science)

Springer

£44.99 07 Mar 2026
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
95% match

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Springer

£61.44 18 Apr 2026
Digital Design and Computer Architecture: ARM Edition
95% match

Digital Design and Computer Architecture: ARM Edition

Morgan Kaufmann

£65.11 25 Jan 2026
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach
95% match

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Springer

£76.14 12 Apr 2026
System-on-Chip Methodologies & Design Languages
95% match

System-on-Chip Methodologies & Design Languages

Springer

£109.50 22 Feb 2026