To support application developers in the various tasks involved in this process, several different tools need to be at his ...
Lee masConstitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...
Lee masThis volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Lee masThe book feature current research from the communities of verification, program certification, model checking, debugging ...
Lee masThis book focuses on Zope 3, though it also addresses the needs of Zope 2 developers who want to use Zope 3 features as they ...
Lee masThis book focuses on Zope 3, though it also addresses the needs of Zope 2 developers who want to use Zope 3 features as they ...
Lee masNew Zope 3 is a web applications server written in Python that allows developing complex web applications rapidly and collaboratively. ...
Lee mas