Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II /

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Softw...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Groote, Jan Friso (Editor), Larsen, Kim Guldstrand (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	1st ed. 2021.
Series:	Theoretical Computer Science and General Issues ; 12652
Subjects:	Computers. Computer organization. Microprogramming . Software engineering. Theory of Computation. Computer Systems Organization and Communication Networks. Control Structures and Microprogramming. Software Engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book