Liknande böcker

Formal Methods for Components and Objects : 9th International Symposium,...
Bok av Marcello M. Bonsangue
Formal Methods for Components and Objects (vol. # 4111) : 4th Internatio...
Bok av Frank S. de Boer
Trustworthy Global Computing : International Symposium, TGC 2005, Edinbu...
Bok av Rocco. De Nicola
Architecting Systems with Trustworthy Components : International Seminar...
Bok av Ralf H. Reussner
Construction and Analysis of Safe, Secure, and Interoperable Smart Devic...
Bok av Gilles. Barthe
Component Deployment : Third International Working Conference, CD 2005,...
Bok av Alan. Dearle
Compiler Construction
Bok av Ranjit. Jhala
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria

NASA Formal Methods

Bok av Guillaume. Brat