欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
WebBot
来自开放百科 - 灰狐
|
您可以在Wikipedia上了解到此条目的英文信息 WebBot Thanks, Wikipedia. |
Webbot - the Libwww Robot
The webbot is a very fast Web walker with support for regular expressions, SQL logging facilities, and many other features. It can be used to check links, find bad HTML, map out a Web site, download images, etc. Webbot is part of the Libwww codebase.
分享您的观点
