Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II /

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Soft...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Fisman, Dana (Editor), Rosu, Grigore (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2022.
Edition:	1st ed. 2022.
Series:	Lecture Notes in Computer Science, 13244
Subjects:	Computer science. Coding theory. Information theory. Microprogramming . Computer engineering. Computer networks . Software engineering. Logic programming. Theory of Computation. Coding and Information Theory. Control Structures and Microprogramming. Computer Engineering and Networks. Software Engineering. Logic in AI. Electronic books.
Online Access:	Connect to the full text of this electronic book