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 .
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Soft...
Spremljeno u:
Superior document: | Lecture notes in computer science v.13244 |
---|---|
TeilnehmendeR: | |
Godina izdanja: | 2022 |
Jezik: | English |
Serija: | Lecture notes in computer science
13244. |
Opis: | 1 online resource (xxi, 493 pages) :; illustrations. |
Bilješke: | Description based upon print version of record. |
Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
Sustav se trenutačno održava
Naš sustav za upravljanje knjižnicom se trenutačno održava.
Informacije o dostupnosti primjeraka i djela trenutačno nisu dostupne. Ispričavamo se zbog prouzročenih neugodnosti. Slobodno nas kontaktiraj radi daljnje pomoći: