> Detailanzeige

Baier, Christel [VerfasserIn]; Katoen, Joost-Pieter [VerfasserIn]

Principles of model checking

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Buch
Titel: Principles of model checking
Beteiligte: Baier, Christel [VerfasserIn]; Katoen, Joost-Pieter [VerfasserIn]
Erschienen: Cambridge, Mass. [u.a.]: MIT Press, 2008
Umfang: XVII, 975 S.; Ill., graf. Darst
Sprache: Englisch
ISBN: 9780262026499; 026202649X
Entstehung:
RVK-Notation: ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc.
Schlagwörter: Model Checking > Programmverifikation
Anmerkungen: Includes bibliographical references and index
Provenienzangaben:

Exemplare

0 Exemplar Exemplare

davon 0 sofort verfügbar

davon 0 bestellbar

davon 0 nicht verfügbar

Jetzt Ihr Exemplar finden

Ergänzende Information

Zeige weitere weniger zeigen

Verweise

Zeige weitere

weniger zeigen

Exemplare

(0)

Zentralbibliothek

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32022558

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32022559

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32022560

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32022561

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32022562

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32022563

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32022564

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32543834

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32543835

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32543836

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32543837

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32543838

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32543867

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32543868

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32543869

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32543870

Status: Ausleihbar

Zentralbibliothek – Lehrbuchsammlung (LBS)

Signatur: ST 233 B152
Barcode: 32543871

Status: Ausleihbar

Bereichsbibliothek DrePunct

Bereichsbibliothek DrePunct – Freihand

Signatur: ST 233 B152
Barcode: 31981143

Status: Benutzung nur im Haus, kein Versand per Fernleihe, nur Kopienlieferung

Bereichsbibliothek DrePunct

Signatur: ST 233 B152
Barcode: 31981139

Status: Verfügbarkeit bitte in Prof Algebraische logische Grundlagen Informatik erfragen.

Bereichsbibliothek DrePunct

Signatur: ST 233 B152
Barcode: 31981140

Status: Verfügbarkeit bitte in Prof Algebraische logische Grundlagen Informatik erfragen.

Bereichsbibliothek DrePunct

Signatur: ST 233 B152
Barcode: 31981141

Status: Verfügbarkeit bitte in Prof Algebraische logische Grundlagen Informatik erfragen.

Bereichsbibliothek DrePunct

Signatur: ST 233 B152
Barcode: 31981142

Status: Verfügbarkeit bitte in Prof Algebraische logische Grundlagen Informatik erfragen.

Bereichsbibliothek DrePunct

Signatur: ST 233 B152
Barcode: 34777327

Status: Verfügbarkeit bitte in Prof Prozessorentwurf erfragen.

Bestand der TU Dresden

Bestand der TU Dresden

Signatur: 2014 4 010633
Barcode: 11835869N

Status: Verfügbarkeit bitte in Center Advancing Electronics Dresden CfAED erfragen.

Bestand der TU Dresden

Signatur: 2017 4 010204
Barcode: 11955152N

Status: Verfügbarkeit bitte in Center Advancing Electronics Dresden CfAED erfragen.