KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

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,

add to watchlist on the watchlist

Details

UID:

almahu_9949517273102882

Format: 1 online resource (718 pages)

Edition: 1st ed.

ISBN: 9783031308239

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

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

Language: English

Keywords: Electronic books.

URL: Click to View

URL: lizenzpflichtig

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

HU Berlin

UB Potsdam

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg