 |
|
 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... | | Principles of Information Systems
As organizations continue to operate in an increasingly competitive and global marketplace,
workers in all business areas including accounting, finance, human resources, marketing,
operations management, and production must be well prepared to make significant contributions
required for success. Regardless of your future role, you... | | Modern French Grammar: A Practical Guide (Modern Grammars)
This book is designed to provide the essential elements of French grammar, for
students in the final year of school and in the first and later years of higher
education. Advanced learners will find much that is useful for extending their
knowledge of French, and for revision. The book is organized in two major
sections: a... |
|
Modern Spanish Grammar: A Practical Guide (Modern Grammars)
The bi-partite approach we took when producing the first edition of Modern Spanish
Grammar has proved popular with students and tutors alike. For the second edition we
went back to the people that use the Grammar and asked what they would like to see
improved.
As s result, we have taken the opportunity to make... | | | | Pro JavaScript for Web Apps
Client-side web app development has always been the poor cousin to server-side coding. This started
because browsers and the devices they run on have been less capable than enterprise-class servers. To
provide any kind of serious web app functionality, the server had to do all of the heavy lifting for the
browsers, which was pretty... |
|
|
|
| Result Page: 46 45 44 43 42 41 40 39 38 37 36 35 |
