 |
|
|
|
 Formal Methods: Industrial Use from Model to the Code
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in... |  |  Instant RSpec Test - Driven Development How-to
Learn RSpec and redefine your approach towards software development
Overview
-
Learn something new in an Instant! A short, fast, focused guide delivering immediate results
-
Learn how to use RSpec with Rails
-
Easy to read and grok examples
-
Write idiomatic...
|  |  Build Your Own ASP.NET 4 Web Site Using C# & VB, 4th Edition
Build Your Own ASP.NET 4 Web Site Using C# & VB is aimed at beginner ASP.NET developers wanting to develop their skills, web designers wanting to move into server-side programming, and experienced developers making the leap from ASP to .NET.
Readers will learn:
-
language and programming...
|
|
|
| Result Page: 14 13 12 11 10 9 8 7 6 5 4 3 2 1 |