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