- Hauptmenü-

Katalogdatenanzeige

Scalable Techniques for Formal Verification

Kataloginformation Katalogdatensatz500151039 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	eng
Hinweise auf parallele Ausgaben	334614740 Buchausg. u.d.T.: ‡Ray, Sandip: Scalable Techniques for Formal Verification
ISBN	978-1-4419-5997-3
Name	Ray, Sandip
T I T E L	Scalable Techniques for Formal Verification
Verlagsort	Boston, MA
Verlag	Springer US
Erscheinungsjahr	2010
Erscheinungsjahr	2010
Umfang	Online-Ressource (XIV, 240p, digital)
Reihe	SpringerLink. Bücher
Titelhinweis	Buchausg. u.d.T.: ‡Ray, Sandip: Scalable Techniques for Formal Verification
ISBN	ISBN 978-1-4419-5998-0
Klassifikation	TJFC
	TEC008010
	*68Q60
	68-02
	68N30
	68Q85
	621.3815
	TK7888.4
SWB-Titel-Idn	327003421
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttp://dx.doi.org/10.1007/978-1-4419-5998-0
Internetseite / Link	Volltext
Siehe auch	Inhaltstext

ISBD-Anzeige Katalogdatensatz500151039

Kategorien-Anzeige Katalogdatensatz500151039

Titel zur Titelsammlung hinzufügen Katalogdatensatz500151039

Kataloginformation500151039 Datensatzanfang . Kataloginformation500151039 Seitenanfang .

Titel vormerken Katalogdatensatz500151039

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.