Alexander Knapp
Identifiers
- Open LibraryOL8089068A
Top Subjects
- Systems engineering (1)
- Software engineering (1)
- Musical criticism (1)
- Bloch, ernest, 1880-1959 (1)
- Computer science (1)
Books by Alexander Knapp
Total count: 3
-
Radical Innovations of Software and Systems Engineering in the Future9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised PapersSpringer London, Limited2004-01-01
-
Ernest Bloch StudiesCambridge University Press2016-01-01
-
Critical Systems : Formal Methods and Automated VerificationJoint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa, Italy, September 26-28, 2016, ProceedingsSpringer International Publishing AG2016-01-01