FM8501: a verified microprocessor / Warren A. Hunt

By:

Hunt, Warren A [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in computer science ; 795 : Lecture notes in artificial intelligencePublisher: Berlin ; Heidelberg [u.a.] : Springer, 1994Description: XIII, 333 S : graph. DarstISBN:

3540579605
0387579605

Subject(s):

Genre/Form:

Hochschulschrift

Additional physical formats: 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 classification:

QA76.8.F6

Dissertation note: Zugl.: Austin, Tex., Univ., Diss., 1986 PPN: PPN: 148538657

Holdings ( 1 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Copy number	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Informatik	B.Hun	Bibliothek / frei aufgestellt	B.Hun(18116)	;b	Available	000172413090

Total holds: 0

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)