書封
Schlingloff, Bernd-Holger.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Methods for Software Engineering = Languages, Methods, Application Domains /
by:
Schneider, Gerardo.; Shaikh, Siraj Ahmed.; Schlingloff, Bernd-Holger.; Cerone, Antonio.; Roggenbach, Markus.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /
by:
Schlingloff, Bernd-Holger.; Chai, Ming.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer science—Mathematics.
Data Structures and Information Theory.
Computer System Implementation.
Information theory.
Symbolic and Algebraic Manipulation.
Software engineering.
Engineering—Data processing.
Mathematical and Computational Engineering Applications.
Computer science.
Logic in AI.
Theory of Computation.
Data structures (Computer science).
Microprogramming .
Computer programming.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Computer and Information Systems Applications.
Application software.
Logic programming.
Computer systems.
Control Structures and Microprogramming.
Engineering mathematics.