|
|
Integrated Formal Methods: 4th International Conference, IFM 2004, CanterburyThe fourth conference in the series of international meetings on Integrated Formal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent.
Kent is... | | Interactive Theorem Proving and Program Development
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. ... | | Web Database Applications with PHP & MySQL, 2nd Edition
This new edition has been redesigned around the rich offerings of PEAR. Several of these, including the Template package and the database-independent query API, are fully integrated into examples and thoroughly described in the text. In addition, through a complex sample application--Hugh and Dave's Wine Store--all the important... |
|
AutoCAD 2005 and AutoCAD LT 2005: No Experience RequiredAutoCAD 2005 and AutoCAD LT 2005: No Experience Required is your step-by-step introduction to the latest versions of AutoCAD and AutoCAD LT, the world’s leading customizable CAD software. Inside this perfectly-paced guide are the clear-cut explanations and practical tutorials that you need to complete even the most elaborate... | | Hardening ApacheA must-read for any system administrator installing or currently using Apache, Hardening Apache shows you exactly what to do to make Apache more secure. Throughout this book, renowned author Tony Mobily introduces you to many of the security problems you’ll inevitably stumble across when using Apache---and most important,... | | Beginning C# Objects: From Concepts to CodeBeginning C# Objects: From Concepts to Code is a comprehensive yet approachable guide for anyone interested in learning the C# language, beginning with the basics.
To begin, this book addresses the two fundamental concepts that programmers must grasp in order to write a professional object-oriented C# application: the nature and... |
|
|
|
Result Page: Previous 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 Next |