語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (5)

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

Legay, Axel.

概要

作品:	0 作品在 5 項出版品 1 種語言

書目資訊

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) (書目-電子資源)

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

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) (書目-電子資源)

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: Legay, Axel.; SpringerLink (Online service); ETAPS (Conference) (2017 :); TACAS (Conference) (2017 :); Margaria, Tiziana. (書目-電子資源)

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: Legay, Axel.; SpringerLink (Online service); ETAPS (Conference) (2017 :); TACAS (Conference) (2017 :); Margaria, Tiziana. (書目-電子資源)

主題

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.

變更密碼

登入