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

Tools and algorithms for the construction and analysis of systems : Part II / 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. Dana Fisman, Grigore Rosu (eds.).

Saved in:
Bibliographic Details
Corporate Authors: TACAS (Conference) Munich, Germany), ETAPS (Conference)
Other Authors: Fisman, Dana (Editor), Roşu, Grigore (Editor)
Format: eBook
Language:English
Published: Cham, Switzerland : Springer, 2022.
Series:Lecture notes in computer science ; 13244.
Lecture notes in computer science. Advanced research in computing and software science.
Subjects:
System design > Congresses.
Computer software > Verification > Congresses.
System analysis > Congresses.
Computer software > Verification
System analysis
System design
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access
Login for hold information

‌

Click for online access

Online

Holdings details from Online
Available

Similar Items