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

Повний опис

Бібліографічні деталі

Формат:	Online
Мова:	Англійська
Опубліковано:	Springer Nature 2024
Предмети:	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
Онлайн доступ:	ONIX_20240416_9783031572562_18
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!