 |
|
 The SPIN Model Checker: Primer and Reference ManualSPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects
in concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteen
years ago. The tool has been applied to everything from the verification of complex call processing... | | Learning Perl/Tk: Graphical User Interfaces with Perl (O'Reilly Nutshell)By combining the rough-and-ready Perl language with the graphical user interface (GUI) capabilities of the Tk toolkit, Perl/Tk makes it easy to write event-based GUI applications quickly--once you know what you're doing. Learning Perl/Tk shows you how to build GUIs with everyone's favorite public-domain programming language. This book... | | Cisco Voice Gateways and GatekeepersDeployments of voice over IP (VoIP) networks continue at a rapid pace. Voice gateways are an essential part of VoIP networks, handling the many tasks involved in translating between transmission formats and protocols and acting as the interface between an IP telephony network and the PSTN or PBX. Gatekeepers and IP-to-IP gateways help these... |
|
|
Mastering Regular ExpressionsThis book is about a powerful tool called "regular expressions."
Here, you will learn how to use regular expressions to solve problems and get the most out of tools that provide them. Not only that, but much more: this book is about mastering regular expressions.
If you use a computer, you can benefit from regular... | | Beginning Linux Programming (Linux Programming Series)Provided you have some previous basic exposure to C and Unix, Beginning Linux Programming delivers an excellent overview of the world of Linux development with an appealing range of essential tools and APIs.
The standout feature of Beginning Linux Programming is its wide-ranging coverage of important topics in basic Unix... | | Exploring Expect: A Tcl-based Toolkit for Automating Interactive ProgramsWritten by the author of Expect, this is the first book to explain how this part of the UNIX toolbox can be used to automate Telnet, FTP, passwd, rlogin, and hundreds of other interactive applications. Based on Tcl (Tool Command Language), Expect lets you automate interactive applications that have previously been extremely difficult to handle... |
|
Tcl and Tk Programming for the Absolute BeginnerTcl/Tk is enjoying a resurgence of popularity and interest in the computing community due to the fact that it is relatively easy to learn, powerful, fast, permits rapid development, and runs on all computing platforms. Until now, there has not been a guide book available that teaches Tcl/Tk to those with little or no programming experience.... | | TCL / TK in a Nutshell: A Desktop Quick Reference
The Tcl language and Tk graphical toolkit are simple and powerful building blocks for custom applications. The Tcl/Tk combination is increasingly popular because it lets you produce sophisticated graphical interfaces with a few easy commands, develop and change scripts quickly, and conveniently tie together existing utilities or... | | Tcl/Tk 8.5 Programming Cookbook
Created in 1988 by John Ousterhoult, while working at the University of Califormia, Berkeley, Tcl (Tool Command Language) is a scripting language originally designed for embedded system platforms. Since its creation, Tcl has grown far beyond its original design with numerous expansions and additions (such as the graphical Took Kit or Tk) to... |
|
| Result Page: 3 2 1 |
