£44.91

Springer FM8501: A Verified Microprocessor: 795 (Lecture Notes in Computer Science, 795)

Price data last checked 57 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.

£45 today · previous high £45 · all-time low £45

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

Historical
Generating forecast…
£44.91 £44.81 £44.83 £44.85 £44.88 £44.90 £44.92 14 April 2026 22 April 2026 30 April 2026 08 May 2026 17 May 2026

Price Distribution

Price distribution over 34 days • 1 price levels

Days at Price
34 days 0 9 17 26 34 £45 Days at Price

Price Analysis

Most common price: £45 (34 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 34 days

Description

The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach permitted a complete mechanically checked proof that the FM 8501 implementation fully implemented its specification. The implementation model for the FM 8501 was inadequate for industrial hardware design but the effort was an important step in the evolution to the design verification methodology now employed by the author. The original version of this monograph was submitted as a dissertation at the University of Texas at Austin under the advisorship of R. Boyer and J. Moore.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
20 May 1994
Listed Since
16 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Microprocessor Technology
96% match

Microprocessor Technology

Routledge

£48.99 12 May 2026
Microprocessor Technology
96% match

Microprocessor Technology

Routledge

£137.61 16 Apr 2026
Microprocessors and Microcomputer-Based System Design
96% match

Microprocessors and Microcomputer-Based System Design

CRC Press

£53.60 13 Jun 2026
Fundamentals of Digital Logic and Microcomputer Design
96% match

Fundamentals of Digital Logic and Microcomputer Design

Wiley

£132.82 18 Jun 2026
Microprocessor and Microcontroller Fundamentals: The 8085 and 8051 Hardware and Software
96% match

Microprocessor and Microcontroller Fundamentals: The 8085 and 8051 Hardware and Software

PEARSON EDUCATION

Out of stock 18 Jun 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 Intel Family of Microprocessors: Hardware and Software Principles and Applications
95% match

The Intel Family of Microprocessors: Hardware and Software Principles and Applications

£81.59 04 Jul 2026
Microprocessor Theory and Applications with 68000/68020 and Pentium
95% match

Microprocessor Theory and Applications with 68000/68020 and Pentium

Wiley

£90.40 15 Apr 2026
Microprogrammed State Machine Design
95% match

Microprogrammed State Machine Design

CRC Press

£175.94 09 Jul 2026
Microprocessor Design: A Practical Guide from Design Planning to Manufacturing (Professional Engineering)
95% match

Microprocessor Design: A Practical Guide from Design Planning to Manufacturing (Professional Engineering)

McGraw-Hill Education

£107.00 09 Jul 2026
Computer Organization: Basic Processor Structure
95% match

Computer Organization: Basic Processor Structure

CRC Press

£130.00 27 Jun 2026
The 80286 Microprocessor: Hardware, Software and Interfacing
95% match

The 80286 Microprocessor: Hardware, Software and Interfacing

PEARSON EDUCATION

£216.10 29 Jun 2026
Computer Organization: Basic Processor Structure
95% match

Computer Organization: Basic Processor Structure

CRC Press

£67.70 25 Apr 2026
8086 Microprocessor: Programming and Interfacing the PC
95% match

8086 Microprocessor: Programming and Interfacing the PC

CENGAGE Delmar Learning

£82.45 09 May 2026
Microprocessor System Design: A Practical Introduction
95% match

Microprocessor System Design: A Practical Introduction

Butterworth-Heinemann

£43.99 18 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
Mikrocomputer, Struktur und Arbeitsweise
95% match

Mikrocomputer, Struktur und Arbeitsweise

Vieweg+Teubner Verlag

£46.75 08 Jul 2026
Design of High-Performance Microprocessor Circuits
95% match

Design of High-Performance Microprocessor Circuits

Wiley-IEEE Press

£96.30 16 Jun 2026
Microprocessor and Interfacing: 8085 Architecture, Programming
95% match

Microprocessor and Interfacing: 8085 Architecture, Programming

Amazon Digital Services LLC - KDP Print US

£54.18 10 Jun 2026
Microprocessor 1: Prolegomena - Calculation and Storage Functions - Models of Computation and Computer Architecture
95% match

Microprocessor 1: Prolegomena - Calculation and Storage Functions - Models of Computation and Computer Architecture

Wiley

£114.59 20 Apr 2026
SYSTEMC IMPLEMENTATION OF A RISC-BASED PROCESSOR ARCHITECTURE: DESIGN AND IMPLEMENTATION OF A 16-BIT RISC-BASED PROCESSOR ARCHITECTURE WITH SYSTEMC LANGUAGE
95% match

SYSTEMC IMPLEMENTATION OF A RISC-BASED PROCESSOR ARCHITECTURE: DESIGN AND IMPLEMENTATION OF A 16-BIT RISC-BASED PROCESSOR ARCHITECTURE WITH SYSTEMC LANGUAGE

VDM Verlag

£57.65 06 Jul 2026
Microcontroller System Design using PIC18F Processors (Advances in Systems Analysis, Software Engineering, and High Performance Computing)
95% match

Microcontroller System Design using PIC18F Processors (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

Information Science Reference

£164.04 13 Apr 2026
Fundamentals of Computer Organization and Architecture: 31 (Wiley Series on Parallel and Distributed Computing)
95% match

Fundamentals of Computer Organization and Architecture: 31 (Wiley Series on Parallel and Distributed Computing)

Wiley

£144.95 11 Jun 2026
Microprocessor 2: Communication in a Digital System
95% match

Microprocessor 2: Communication in a Digital System

Wiley

£114.59 19 Apr 2026