Shaikh, Siraj Ahmed.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Methods for Software Engineering = Languages, Methods, Application Domains /
by:
Schneider, Gerardo.; Roggenbach, Markus.; Shaikh, Siraj Ahmed.; Schlingloff, Bernd-Holger.; Cerone, Antonio.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Software Engineering.
Computer science—Mathematics.
Application software.
Symbolic and Algebraic Manipulation.
Software engineering.
Engineering mathematics.
Engineering—Data processing.
Computer Science Logic and Foundations of Programming.
Mathematical and Computational Engineering Applications.
Computer and Information Systems Applications.
Computer science.
Theory of Computation.