Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

FM8501: A Verified Microprocessor

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

Diss.

Warren A. Hunt

Език

Английски език

Книга С меки корици

Код Либристо: 01565797

Издателство Springer, Berlin, ноември 1993

The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. Th... Цялото описание

Код Либристо: 01565797

132 b

54.35 €

106.30 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С меки корици

30.22 € 59.11 лв

Ohnmachtspiele Georg Haderer

С меки корици

14.51 € 28.39 лв

Die Pfütze Annette Zacharias

С твърди корици

19.01 € 37.18 лв

PACK 5EX SUPER GAFI CP MAGAZINE N 5 Alain Bentolila

binding.

37.71 € 73.76 лв

Le Roman de Miraut Louis Pergaud

С меки корици

15.75 € 30.81 лв

CURIOSITEZ FRANCOISES, POUR SUPPLEMENT AUX DICTIONNAIRES. (1640) OUDIN ANTOINE Книга

С твърди корици

218.96 € 428.26 лв

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

С меки корици

39.11 € 76.49 лв

Tsuki and The Hebrew Alphabet Dikla Berkowitz

С меки корици

12.86 € 25.15 лв

Numeros primos Luiz Felipe Morais

С меки корици

37.71 € 73.76 лв

Medinah ( Madinah)Arabic Course for Children Muhammed Abdullah Taha

С меки корици

19.99 € 39.10 лв

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

С меки корици

34.15 € 66.79 лв

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

С меки корици

23.81 € 46.58 лв

Einführung in die Metaethik Titus Stahl

С меки корици

9.97 € 19.49 лв

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.