KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Sortierung

Online-Ressource

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (2024)

Gurfinkel, Arie. [editor.] ; Ganesh, Vijay. [editor.] ; SpringerLink 〈Online service〉

Cham :Springer Nature Switzerland :

Dazugehörige Titel

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9949850887002882

Umfang: XXV, 430 p. 127 illus., 95 illus. in color. , online resource.

Ausgabe: 1st ed. 2024.

ISBN: 9783031656309

Serie: Lecture Notes in Computer Science, 14682

Inhalt: This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24-27, 2024.

In: Springer Nature eBook

Weitere Ausg.: Printed edition: ISBN 9783031656293

Weitere Ausg.: Printed edition: ISBN 9783031656316

Sprache: Englisch

DOI: 10.1007/978-3-031-65630-9

URL: https://doi.org/10.1007/978-3-031-65630-9

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

HU Berlin

Treffer 1 - 1 | 1 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Meinten Sie 9783031656361?

Meinten Sie 9783031056376?

Meinten Sie 9783030656386?

Kooperativer Bibliotheksverbund

Berlin Brandenburg