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 : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. (2023)

Sankaranarayanan, Sriram. ; Sharygina, Natasha.

Cham :Springer International Publishing AG,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9949517273102882

Umfang: 1 online resource (718 pages)

Ausgabe: 1st ed.

ISBN: 9783031308239

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

Weitere Ausg.: Print version: Sankaranarayanan, Sriram Tools and Algorithms for the Construction and Analysis of Systems Cham : Springer International Publishing AG,c2023 ISBN 9783031308222

Sprache: Englisch

Schlagwort(e): Electronic books.

URL: Click to View

URL: lizenzpflichtig

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

HU Berlin

UB Potsdam

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg