- Hauptmenü-

Katalogdatenanzeige

Design and Verification of Microprocessor Systems for High-Assurance Applications

Kataloginformation Katalogdatensatz500151022 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	eng
ISBN	978-1-4419-1538-2
Name	Hardin, David S.
T I T E L	Design and Verification of Microprocessor Systems for High-Assurance Applications
Verlagsort	Boston, MA
Verlag	Springer US
Erscheinungsjahr	2010
Erscheinungsjahr	2010
Umfang	Online-Ressource (XIV, 436p. 360 illus., 180 illus. in color, digital)
Reihe	SpringerLink. Bücher
Titelhinweis	Buchausg. u.d.T.ISBN: 978-1-4419-1538-2
ISBN	ISBN 978-1-4419-1539-9
Klassifikation	TJFC
	TEC008010
	*68M99
	68-06
	621.3815
	TK7888.4
SWB-Titel-Idn	327002883
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttp://dx.doi.org/10.1007/978-1-4419-1539-9
Internetseite / Link	Volltext
Siehe auch	Cover
Siehe auch	Inhaltstext

ISBD-Anzeige Katalogdatensatz500151022

Kategorien-Anzeige Katalogdatensatz500151022

Titel zur Titelsammlung hinzufügen Katalogdatensatz500151022

Kataloginformation500151022 Datensatzanfang . Kataloginformation500151022 Seitenanfang .

Titel vormerken Katalogdatensatz500151022

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.