£74.10

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

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

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.

£74 today · all-time low £74 (Jun 2026) · usually the usual

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 39 days · 39 data points (no recent data)

Historical
Generating forecast…
£76.38 £73.56 £74.18 £74.79 £75.41 £76.02 £76.64 09 June 2026 18 June 2026 28 June 2026 07 July 2026 17 July 2026

Price Distribution

Price distribution over 39 days • 3 price levels

Days at Price
Current Price
18 days · current 10 days 11 days 0 5 9 14 18 £74 £75 £76 Days at Price

Price Analysis

Most common price: £74 (18 days, 46.2%)

Price range: £74 - £76

Price levels: 3 different prices over 39 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 27 Jul 2026
North Holland Higher Order Logic Theorem Proving Proceedings
95% match

North Holland Higher Order Logic Theorem Proving Proceedings

Elsevier

£120.00 06 Aug 2026
Microprogrammed State Machine Design
95% match

Microprogrammed State Machine Design

CRC Press

£175.94 09 Jul 2026
Springer Computer Architecture: A Minimalist Perspective 730
95% match

Springer Computer Architecture: A Minimalist Perspective 730

Springer

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

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

Springer

£87.64 08 Jul 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

£41.81 04 Jul 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 28 Jul 2026
Springer Advances in Design and Specification Languages Book
95% match

Springer Advances in Design and Specification Languages Book

Springer

£82.51 22 Jul 2026
Springer System-on-Chip Methodologies & Design Languages Book
95% match

Springer System-on-Chip Methodologies & Design Languages Book

Springer

£116.26 22 Jul 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 19 Jul 2026
Current Trends in Hardware Verification and Automated Theorem Proving
95% match

Current Trends in Hardware Verification and Automated Theorem Proving

Springer

£77.89 28 Jul 2026
Computer Organization: Basic Processor Structure
95% match

Computer Organization: Basic Processor Structure

CRC Press

£130.00 05 Sep 2026
Springer System Specification and Design Languages FDL 2010
95% match

Springer System Specification and Design Languages FDL 2010

Springer

£108.01 23 Jul 2026
Computer Organization: Basic Processor Structure
95% match

Computer Organization: Basic Processor Structure

CRC Press

£77.10 18 Jul 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

£108.00 13 Jul 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

£70.39 23 Aug 2026
Principles of Computer Hardware
95% match

Principles of Computer Hardware

Oxford University Press

£83.30 29 Aug 2026
McGraw-Hill Introduction to Computing Systems Textbook
95% match

McGraw-Hill Introduction to Computing Systems Textbook

McGraw-Hill Education

£55.14 05 Sep 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

£75.70 13 Jul 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 08 Jul 2026
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
95% match

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Springer

£61.83 15 Jul 2026
Digital Design and Computer Architecture: ARM Edition
95% match

Digital Design and Computer Architecture: ARM Edition

Elsevier

£65.01 24 Aug 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.41 14 Jul 2026
System-on-Chip Methodologies & Design Languages
95% match

System-on-Chip Methodologies & Design Languages

Springer

£113.43 02 Jul 2026