Tools and Algorithms for the Construction and Analysis of Systems

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 202...

Täydet tiedot

Bibliografiset tiedot

Aineistotyyppi:	Online
Kieli:	englanti
Julkaistu:	Springer Nature 2024
Aiheet:	TACAS formal verification software systems hardware systems static analysis probabilistic programming program synthesis concurrency testing simulations verification of machine thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UK Computer hardware thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
Linkit:	ONIX_20240416_9783031572463_13
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!