Feedback

X
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

0 Ungluers have Faved this Work
Find on Google Books Find on OpenLibrary Find on LibraryThing
The open access TACAS 2024 proceedings focus on rigorously based tools and algorithms for the construction and analysis of systems.

Links

web: https://link.springer.com/book/10.1007/978-3-031-57256-2

Editions

edition cover
Contributors: Bernd Finkbeiner, Laura Kovács,
2 ebooks
Publisher: Springer
Published: 2024
ISBN: 9783031572562
See this edition on Google Books
edition cover
Contributors: Bernd Finkbeiner, Laura Kovács,
paper.
Publisher: Springer
Published: 2024
ISBN: 9783031572555
Download

Share

Copy/paste this into your site: