語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (5)

跳至 : 概要 | 書目資訊 | 主題

Legay, Axel.

概要

作品:	0 works in 5 publications in 1 languages

Titles

From programs to systems - the systems perspective in computing = ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 : proceedings / by: Bensalem, Saddek.; Lakhneck, Yassine.; Legay, Axel.; SpringerLink (Online service) (Electronic resources)

Model checking software = 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings / by: Legay, Axel.; SpringerLink (Online service); International SPIN Workshop (2019 :); Biondi, Fabrizio.; Given-Wilson, Thomas. (Electronic resources)

Formal modeling and analysis of timed systems = 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: Legay, Axel.; Bozga, Marius.; SpringerLink (Online service) (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.. Part II / by: TACAS (Conference) (2017 :); Legay, Axel.; SpringerLink (Online service); ETAPS (Conference) (2017 :); Margaria, Tiziana. (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.. Part I / by: ETAPS (Conference) (2017 :); TACAS (Conference) (2017 :); Legay, Axel.; SpringerLink (Online service); Margaria, Tiziana. (Electronic resources)

Subjects

Mathematical Logic and Formal Languages. Software Engineering. Software engineering Logics and Meanings of Programs. Computer systems Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. SPIN (Computer file) Programming Languages, Compilers, Interpreters. Formal methods (Computer science) System design Computer simulation Computer software- Testing Computer programs Computer Science. Computer software- Verification Simulation and Modeling. System Performance and Evaluation. Temporal automata System analysis Computer Applications.

Change password

Login