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

Պահպանված է:
Մատենագիտական մանրամասներ
Համատեղ հեղինակներ: TACAS (Conference) Munich, Germany), ETAPS (Conference)
Այլ հեղինակներ: Fisman, Dana (Խմբագիր), Roşu, Grigore (Խմբագիր)
Ձևաչափ: էլ․ գիրք
Լեզու:English
Հրապարակվել է: Cham, Switzerland : Springer, 2022.
Շարք:Lecture notes in computer science ; 13244.
Lecture notes in computer science. Advanced research in computing and software science.
Խորագրեր:
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.
Առցանց հասանելիություն:Click for online access
Մուտք գործեք՝ պահման և հետ կանչի համար

Համացանց

Click for online access

Online

Պահումների մանրամասները Online
Հասանելի է

Նմանատիպ նյութեր