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 : 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,

add to watchlist on the watchlist

Details

UID:

almahu_9949728662102882

Format: 1 online resource (439 pages)

Edition: 1st ed.

ISBN: 9783031572562

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

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

Language: English

Keywords: Electronic books.

URL: Click to View

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

HU Berlin

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg