KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. (2024)

Finkbeiner, Bernd. ; Kovács, Laura.

Cham :Springer International Publishing AG,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9949728662102882

Umfang: 1 online resource (439 pages)

Ausgabe: 1st ed.

ISBN: 9783031572562

Serie: Lecture Notes in Computer Science Series ; v.14572

Weitere Ausg.: Print version: Finkbeiner, Bernd Tools and Algorithms for the Construction and Analysis of Systems Cham : Springer International Publishing AG,c2024 ISBN 9783031572555

Sprache: Englisch

Schlagwort(e): Electronic books.

URL: Click to View

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

HU Berlin

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg