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

Salvato in:
Dettagli Bibliografici
Enti autori: TACAS (Conference) Munich, Germany), ETAPS (Conference)
Altri autori: Fisman, Dana (Redattore), Roşu, Grigore (Redattore)
Natura: eBook
Lingua:English
Pubblicazione: Cham, Switzerland : Springer, 2022.
Serie:Lecture notes in computer science ; 13244.
Lecture notes in computer science. Advanced research in computing and software science.
Soggetti:
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.
Accesso online:Click for online access
Entra per informazioni su prenotazioni e richieste

Accesso online

Click for online access

Online

Dettagli sul posseduto da Online
Disponibile

Documenti analoghi