Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.99 € Hermes Kurierdienst 5.49 € DHL-Kurier 4.49 € Hermes-Stelle 4.99 € DPD-Stelle 3.49 € GLS-Kurierdienst 5.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

FM8501: A Verified Microprocessor

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

Diss.

Warren A. Hunt

Sprache

Englisch

Buch Broschur

Libristo-Code: 01565797

Verlag Springer, Berlin, November 1993

The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. Th... Vollständige Beschreibung

Libristo-Code: 01565797

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Nachhaltigkeitsberichterstattung großer Unternehmen Julia Reimer

Broschur

70.29 €

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

Broschur

27.49 €

Die Pfütze Annette Zacharias

Hardcover

20.00 €

PACK 5EX SUPER GAFI CP MAGAZINE N 5 Alain Bentolila

binding.

33.09 €

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

Hardcover

197.49 €

Le Roman de Miraut Louis Pergaud

Broschur

15.99 €

Dědičné nádorové syndromy v dětské onkologii Viera Bajčiová

Blatt

7.69 €

Darling in the Franxx - Blu-ray 4 Naotaka Hayashi

Blu-ray

59.21 €

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

Broschur

44.59 €

Numeros primos Luiz Felipe Morais

Broschur

37.29 €

Koń Hanowerski Gniady XL

Spielzeug

9.89 €

Medinah ( Madinah)Arabic Course for Children Muhammed Abdullah Taha

Broschur

21.69 €

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

Broschur

30.79 €

Metodo Audiobec José Antonio Becerra Abril

Broschur

107.99 €

'Der kaukasische Kreidekreis' von Bertolt Brecht als Drama des epischen Theaters Hans-Georg Wendland

Broschur

17.95 €

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

Broschur

22.19 €

Ein Afrikaner wird getauft Kees de Kort

Broschur

4.09 €

Einführung in die Metaethik Titus Stahl

Broschur

8.80 €

NĚMECKÉ STOLETÍ Eberhard Jäckel

Buch

11.39 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name FM8501: A Verified Microprocessor

Autor Warren A. Hunt

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1994

Anzahl der Seiten 342

EAN 9783540579601

ISBN 3540579605

Libristo-Code 01565797

Verlag Springer, Berlin

Gewicht 467

Abmessungen 156 x 234 x 18

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert