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
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!