KOBV Portal

Please enable Javascript in your browser preferences in order to use all features of KOBV Portal.

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Hits per page

hit 1 - 1 | 1 hit

Select All Export

1

Online Resource

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 [sic!], Paris, France, April 22–27, 2023 : proceedings, part I (2023)

International Conference on Tools and Algorithms for the Construction and Analysis of Systems 29. 2023 Paris ; Sankaranarayanan, Sriram ; Sharygina, Natasha ; [et al.]

Cham, Switzerland :Springer,

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almafu_BV048918424

Format: 1 Online-Ressource.

ISBN: 978-3-031-30823-9

Series Statement: Lecture notes in computer science 13993

Additional Edition: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-031-30822-2

Language: English

Keywords: Konferenzschrift ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-031-30823-9

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

Library	Location	Call Number	Volume/Issue/Year	Availability

BibTip

Others were also interested in ...

Online Resource

FU Berlin

EUV Frankfurt

TH Brandenburg

HTW Berlin

FH Potsdam

Charité

BTU Cottbus

hit 1 - 1 | 1 hit

This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages