Covers
Schlingloff, Bernd-Holger.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.