|
|
|
|
|
|
|
Software Abstractions: Logic, Language, and Analysis
As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.
One approach especially intrigued me. John Guttag and Jim... | | .Net Framework 4.5 Expert Programming Cookbook
.Net is an architecture neutral and programming language agnostic framework that caters to all requirements, varying from business solutions to multiplayer online 3D games. Version 4.5 added many new features to help with the development of robust and user-friendly solutions. This book will teach you the new features as well as the advanced... | | BizTalk 2013 Recipes: A Problem-Solution Approach (Expert's Voice in BizTalk)
BizTalk 2013 Recipes provides ready-made solutions to BizTalk Server 2013 developers. The recipes in the book save you the effort of developing your own solutions to common problems that have been solved many times over. The solutions demonstrate sound practice, the result of hard-earned wisdom by those who have gone before.
... |
|
|
Result Page: 230 229 228 227 226 225 224 223 222 221 220 219 218 217 216 215 214 213 212 |