Shaikh, Siraj Ahmed.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
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.