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