Liknande böcker

Programming Languages and Systems : 5th Asian Symposium, APLAS 2007, Sin...
Bok av Zhong. Shao
Multiparadigm Programming in Mozart/Oz : Second International Conference...
Bok av Peter. Roy
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Construction and Analysis of Safe, Secure, and Interoperable Smart Devic...
Bok av Gilles. Barthe
Formal Methods for Components and Objects (vol. # 4111) : 4th Internatio...
Bok av Frank S. de Boer
NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, C...
Bok av Klaus Havelund
Component Deployment : Third International Working Conference, CD 2005,...
Bok av Alan. Dearle
Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Ban...
Bok av G. Ramalingam

Programming Languages and Systems : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

Bok av Kwangkeun. Yi