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