KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

Yahav, Eran [Verfasser] ; HVC 10. 2014 Haifa

Cham [u.a.] : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV042284363

Umfang: 1 Online-Ressource (XVI, 299 S.) , Ill., graph. Darst.

ISBN: 9783319133386

Serie: Lecture notes in computer science 8855

Weitere Ausg.: Erscheint auch als Druckausgabe ISBN 978-3-319-13337-9

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Hardwareverifikation ; Programmverifikation ; Konferenzschrift

DOI: 10.1007/978-3-319-13338-6

URL: Volltext

URL: Inhaltsverzeichnis

URL: Abstract

Mehr zum Autor: Yahav, Eran

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

BTU Cottbus

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund