Page 1 of 115,
Click on a book title for more details
Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume
S. Abramsky
Paperback - $180.95
Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume
S. Abramsky
Paperback - $180.95
The B-Book
J. R. Abrial
Paperback - $191.95
The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions ...
Reactive Systems : Modelling, Specification and Verification
Luca Aceto
Hardcover - $148.95
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distrib ...
Web Standards Creativity : Innovations in Web Design with XHTML, CSS, and DOM Scripting
Cameron Adams
Paperback - $77.95
Ten of the worlds most talented Web designers share their secrets in this book thats jam-packed with fresh, innovative design ideas. This full-color volumes examples are stunning to look at, fully standards-compliant, and tested in current browsers i ...
Cmmi(r) Distilled : A Practical Introduction to Integrated Process Improvement
Dennis M. Ahern
Paperback - $80.95
Capability Maturity Model IntegrationSM (CMMI) has rapidly become a preferred means of improving organizational processes in industry and government. Building on a decade of work with process improvement models, including the Capability Maturity Mode ...
Cmmi(r) Scampi Distilled : Appraisals for Process Improvement
Dennis M. Ahern
Paperback - $80.95
The Standard CMMI Appraisal Method for Process Improvement (SCAMPI) is an invaluable tool for organizations seeking to drive quantifiable improvements in systems and software engineering. SCAMPI appraisals can help those organizations identify the st ...
Software Architectures and Component Technology
Mehmet Aksit
Hardcover - $432.95
Software architectures have gained wide popularity in the last decade. They generally play a fundamental role in coping with the inherent difficulties of the development of large-scale and complex software systems. Component-oriented and aspect-orien ...