KOBV Portal

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

rss

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 : 31st International Conference, TACAS 2025 held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025 Hamilton, ON, Canada, May 3–8, 2025 : proceedings, part III (2025)

International Conference on Tools and Algorithms for the Construction and Analysis of Systems 31. 2025 Hamilton (Ontario) ; Gurfinkel, Arie ; Heule, Marijn J. H. 1979- ; [et al.]

Cham, Switzerland : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV050281537

Format: 1 Online-Ressource

ISBN: 9783031906602

Series Statement: Lecture notes in computer science 15698

Additional Edition: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-031-90659-6

Language: English

Keywords: Konferenzschrift

DOI: 10.1007/978-3-031-90660-2

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

Library	Location	Call Number	Volume/Issue/Year	Availability

BibTip

Others were also interested in ...

Online Resource

EUV Frankfurt

HTW Berlin

FH Potsdam

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