語系
Bensalem, Saddek.
概要
| 作品: | 4 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /
by:
SpringerLink (Online service); Legay, Axel.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bensalem, Saddek.
(書目-語言資料,印刷品)
Verification and Evaluation of Computer and Communication Systems = 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings /
by:
Bensalem, Saddek.; Atig, Mohamed Faouzi.; Monsuez, Bruno.; SpringerLink (Online service); Bliudze, Simon.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
Peled, Doron A.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Bensalem, Saddek.
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer logic.
System Performance and Evaluation.
Software engineering.
The Computing Profession.
Computer Science.
Programming Techniques.
Computer programs
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer system failures.
Computers.
Programming Languages, Compilers, Interpreters.
Performance and Reliability.
Computer software