Liknande böcker

Formal Modeling and Analysis of Timed Systems : Third International Conf...
Bok av Paul. Pettersson
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Rewriting Logic and Its Applications : 11th International Workshop, WRLA...
Bok av Dorel Lucanu
Requirements Engineering: Foundation for Software Quality
Bok av Roel. Wieringa
Automatic Derivation of Platform Noninterference Properties : 14th Inter...
Bok av Oliver Schwarz
Computer Safety, Reliability, and Security : 36th International Conferen...
Bok av Stefano Tonetta
Raspberry pi gpu audio video programming
Bok av Jan. Newmarch
Computer Safety, Reliability, and Security : SAFECOMP 2014 Workshops: AS...
Bok av Andrea. Bondavalli

Computer Safety, Reliability, and Security : 34th international conference, safecomp 2015, delft, the netherlands, september 23-25, 2015, proceedings

Bok av Maria Vasilevskaya