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