Search

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 I

QR Code
Finna rating
Be the first to leave a review. All reviews are public.

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 I

Get full text
eBook
;
Springer Nature Switzerland 2024. 1st ed. 2024.
Show other versions (2)
Saved in:
Holdings
Table of Contents
Comments (0)
Other Versions (2)
MARC

Material provided by

Kysy apua / Ask for help

Content Cannot be Displayed

Chat content cannot be displayed due to cookie settings. To view the content, modify your cookie settings to allow the following categories: Chat Services.

Cookie Settings