Կազմի պատկեր

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Ցույց տալ այլ տարբերակներ (2)

computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification

Պահպանված է:
Մատենագիտական մանրամասներ
Այլ հեղինակներ: Beyer, Dirk (Խմբագիր), Huisman, Marieke (Խմբագիր)
Ձևաչափ: Էլեկտրոնային Գրքի գլուխ
Լեզու:անգլերեն
Հրապարակվել է: Cham Springer Nature 2018
Շարք:Theoretical Computer Science and General Issues
Խորագրեր:
Computer science
computer architecture
computer software selection and evaluation
formal logic
formal methods
model checker
model checking
multi core processors
program compilers
programming languages
semantics
software engineering
specifications
state space
verification
Առցանց հասանելիություն:DOAB: download the publication
DOAB: description of the publication
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
Search Result 1
Կազմի պատկեր

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Հրապարակվել է 2018
Link to Metadata
Էլեկտրոնային էլ․ գիրք

Պահել ցուցակում
Պահպանված է:
Ցույց տալ բոլոր տարբերակները (3)

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