|
|
|
|
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... | | WebRTC Blueprints
Develop your very own media applications and services using WebRTC
Overview
-
Create interactive web applications using WebRTC
-
Get introduced to advanced technologies such as WebSocket and Erlang
-
Develop your own secure web applications and services with practical projects
... | | Elasticsearch Blueprints
A practical project-based guide to generating compelling search solutions using the dynamic and powerful features of Elasticsearch
About This Book
-
Discover the power of Elasticsearch by implementing it in a variety of real-world scenarios such as restaurant and e-commerce search
-
Discover...
|
|
|
Result Page: 9 8 7 6 5 4 3 2 1 |