Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

FM8501: A Verified Microprocessor

Name: FM8501: A Verified Microprocessor
Brand: Springer, Berlin
SKU: 01565797
Price: 19902 HUF
Availability: InStock
Author: Warren A. Hunt
ISBN: 9783540579601

Diss.

Warren A. Hunt

Language

English

Book Paperback

Libristo code: 01565797

Publishers Springer, Berlin, November 1993

The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. Th... Full description

Libristo code: 01565797

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Le Roman de Miraut Louis Pergaud

Paperback

6 156 Ft

Einführung in die Metaethik Titus Stahl

Paperback

3 355 Ft

ASTRO-ENSUEÑO GUIADO Arquetipos internos y simbolismo imagi Royo

Paperback

10 334 Ft

Ohnmachtspiele Georg Haderer

Paperback

4 895 Ft

Die Pfütze Annette Zacharias

Hardback

6 993 Ft

PACK 5EX SUPER GAFI CP MAGAZINE N 5 Alain Bentolila

binding.

12 840 Ft

CURIOSITEZ FRANCOISES, POUR SUPPLEMENT AUX DICTIONNAIRES. (1640) OUDIN ANTOINE Book

Hardback

74 500 Ft

Memoires Sur Les Turcs Et Les Tartares V1-2 (1785) Francois Tott

Paperback

14 231 Ft

Tsuki and The Hebrew Alphabet Dikla Berkowitz

Paperback

4 691 Ft

Numeros primos Luiz Felipe Morais

Paperback

13 833 Ft

Convocation et provocation de l'éthique Denis Müller

Paperback

8 033 Ft

Medinah ( Madinah)Arabic Course for Children Muhammed Abdullah Taha

Paperback

7 575 Ft

Finanzas corporativas en la práctica Inmaculada . . . [et al. ] Aguiar Díaz

Paperback

11 624 Ft

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.