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 : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II. (2019)

Vojnar, Tomás. ; Zhang, Lijun.

Cham :Springer International Publishing AG,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9949972130102882

Umfang: 1 online resource (613 pages)

Ausgabe: 1st ed.

ISBN: 9783030174651

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

Weitere Ausg.: Print version: Vojnar, Tomás Tools and Algorithms for the Construction and Analysis of Systems Cham : Springer International Publishing AG,c2019 ISBN 9783030174644

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