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...

Celý popis

Podrobná bibliografie

Médium:	Online
Jazyk:	angličtina
Vydáno:	Springer Nature 2024
Témata:	TACAS formal verification software systems hardware systems static analysis probabilistic programming program synthesis oncurrency 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
On-line přístup:	ONIX_20240416_9783031572562_18
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!