KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_605496420

Umfang: Online-Ressource (X, 295 S.)

Ausgabe: Online-Ausg. 2009 Springer eBook collection. Computer science Electronic reproduction; Available via World Wide Web

ISBN: 9783642026522

Serie: Lecture notes in computer science 5578

Anmerkung: Literaturangaben , Electronic reproduction; Available via World Wide Web

Weitere Ausg.: ISBN 3642026516

Weitere Ausg.: ISBN 9783642026515

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Model Checking ; Programmverifikation ; Model Checking ; Konferenzschrift

DOI: 10.1007/978-3-642-02652-2

URN: urn:nbn:de:1111-20091123136

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Inhaltstext

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

UB Potsdam

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund