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

Tallennettuna:
Bibliografiset tiedot
Yhteisötekijät: TACAS (Conference) Munich, Germany), ETAPS (Conference)
Muut tekijät: Fisman, Dana (Toimittaja), Roşu, Grigore (Toimittaja)
Aineistotyyppi: E-kirja
Kieli:English
Julkaistu: Cham, Switzerland : Springer, 2022.
Sarja:Lecture notes in computer science ; 13244.
Lecture notes in computer science. Advanced research in computing and software science.
Aiheet:
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.
Linkit:Click for online access
Kirjaudu sisään tehdäksesi varauspyynnön

Internet

Click for online access

Online

Saatavuus: Online
Saatavissa

Samankaltaisia teoksia