FM8501: a verified microprocessor / Warren A. Hunt

Von:

Hunt, Warren A [aut]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Lecture notes in computer science ; 795 : Lecture notes in artificial intelligenceVerlag: Berlin ; Heidelberg [u.a.] : Springer, 1994Beschreibung: XIII, 333 S : graph. DarstISBN:

3540579605
0387579605

Schlagwörter:

Genre/Form:

Hochschulschrift

Andere physische Formen: Online-Ausg.: FM8501: a verified microprocessor. Berlin [u.a.] : Springer, 1994. Online-Ressource (XIII, 333 S.) | Erscheint auch als: FM8501: A Verified Microprocessor. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1994. Online-RessourceMSC: MSC: *68-02 | 68M99RVK: RVK: SS 4800 | ST 170LOC-Klassifikation:

QA76.8.F6

Hochschulschriftenvermerk: Zugl.: Austin, Tex., Univ., Diss., 1986 PPN: PPN: 148538657

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Exemplarnummer	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Informatik	B.Hun	Bibliothek / frei aufgestellt	B.Hun(18116)	;b	Verfügbar	000172413090

Anzahl Vormerkungen: 0