- Hauptmenü-

Katalogdatenanzeige

Software verification and analysis: an integrated, hands-on approach

Exemplarinformationen Katalogdatensatz500166430 .
Kataloginformation Katalogdatensatz500166430 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	eng
Hinweise auf parallele Ausgaben	307749436 Internetausg. u.d.T.: ‡Software Verification and Analysis
Name	Laski, Janusz
Name	Stanley, William
Name ANZEIGE DER KETTE	Stanley, William
T I T E L	Software verification and analysis
Zusatz zum Titel	an integrated, hands-on approach
Verlagsort	London
Verlag	Springer
Erscheinungsjahr	2009
Erscheinungsjahr	2009
Umfang	XVIII, 224 S. : graph. Darst.
Format	240 mm x 160 mm
Titelhinweis	Internetausg. u.d.T.: ‡Software Verification and Analysis
ISBN	ISBN 978-1-84882-239-9 : ca. EUR 64.15 (freier Pr.), ca. sfr 99.50 (freier Pr.)
ISBN	ISBN 1-84882-239-1 (hbk.)
Verlags- / Firmen-	¬Best.-Nr.¬ 12074655
Klassifikation	*68N01
	68N30
	68Q60
	68-01
	005.14
	004
	QA76.76.V47
	ST 233
	ST 230
1. Schlagwortkette	Software
1. Schlagwortkette	Verifikation
ANZEIGE DER KETTE	Software -- Verifikation
SWB-Titel-Idn	305749242
Signatur	85 142
Internetseite / Link	Inhaltsverzeichnis
Siehe auch	Cover
Siehe auch	Inhaltstext

ISBD-Anzeige Katalogdatensatz500166430

Kategorien-Anzeige Katalogdatensatz500166430

Titel zur Titelsammlung hinzufügen Katalogdatensatz500166430

Kataloginformation500166430 Datensatzanfang . Kataloginformation500166430 Seitenanfang .

Exemplarinformationen
Barcode	Regalstandort	Literaturabteilung	Bandzählg.	Zweigstelle	Status	Fälligkeitsdat.
00338048	ST 233 L345	Freihand		Hauptbibliothek .	. Verfügbar .

Titel vormerken Katalogdatensatz500166430

. Katalogdatensatz500166430 ItemInfo Datensatzanfang . Katalogdatensatz500166430 ItemInfo Seitenanfang .

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.