 |
|
|
 Software Verification and Analysis: An Integrated, Hands-On ApproachThis book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).
Three major software verification techniques are discussed: Semantic program synthesis and... |  |  Professional DotNetNuke Module ProgrammingProfessional DotNetNuke® Module Programming
As the force behind the creation of new functionality to DotNetNuke Web sites, DotNetNuke modules are reusable programming components that offer a way to extend the basic DotNetNuke framework. With this resource, you'll learn the best practices for DotNetNuke module development, and you'll gain a... |  |  Java for COBOL Programmers (Programming Series)COBOL, one of the oldest programming languages in current use, still provides the framework for many vital business, finance, and administrative programs and systems that companies and governments use in day-to-day activities. Scores of organizations are deciding to replace these legacy systems, including their core business systems, with more... |
|
 Pro HadoopYou’ve heard the hype about Hadoop: it runs petabyte–scale data mining tasks insanely fast, it runs gigantic tasks on clouds for absurdly cheap, it’s been heavily committed to by tech giants like IBM, Yahoo!, and the Apache Project, and it’s completely open source (thus free). But what exactly is it, and more... |  |  |  |  Ruby Best PracticesHow do you write truly elegant code with Ruby? Ruby Best Practices is for programmers who want to use Ruby as experienced Rubyists do. Written by the developer of the Ruby project Prawn, this concise book explains how to design beautiful APIs and domain-specific languages with Ruby, as well as how to work with functional programming ideas and... |
|
|
Result Page: 63 62 61 60 59 58 57 56 55 54 53 52 51 50 49 48 47 46 |