Covers
Fisman, Dana.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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 /
by:
Rosu, Grigore.; SpringerLink (Online service); Fisman, Dana.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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 I /
by:
Fisman, Dana.; Rosu, Grigore.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime Verification = 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings /
by:
SpringerLink (Online service); Fisman, Dana.; Feng, Lu.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime Verification = 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings /
by:
SpringerLink (Online service); Feng, Lu.; Fisman, Dana.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Computer networks .
Coding and Information Theory.
Information theory.
Software engineering.
Theory of Computation.
Logic in AI.
Microprogramming .
Computer Engineering and Networks.
Computer simulation.
Logic programming.
Coding theory.
Control Structures and Microprogramming.
Computer science.