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

Sábháilte in:
Sonraí bibleagrafaíochta
Údair chorparáideacha: TACAS (Conference) Munich, Germany), ETAPS (Conference)
Rannpháirtithe: Fisman, Dana (Eagarthóir), Roşu, Grigore (Eagarthóir)
Formáid: Ríomhleabhar
Teanga:English
Foilsithe / Cruthaithe: Cham, Switzerland : Springer, 2022.
Sraith:Lecture notes in computer science ; 13244.
Lecture notes in computer science. Advanced research in computing and software science.
Ábhair:
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.
Rochtain ar líne:Click for online access
le faisnéis choinneála agus aisghairme a fháil

Ar líne

Click for online access

Online

Sonraí sealbhúcháin ó Online
Ar fáil

Míreanna comhchosúla