 |
|
 Principles of Model CheckingOur growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a... | | | | |
|
Explorations in Information Space: Knowledge, Actor, and FirmsAs humankind seeks to extend its spatiotemporal reach both on and beyond its planet, it is constantly being forced by a recalcitrant nature to renegotiate the terms of its covenant with her. In some cases, the bargaining gets tough and nature takes offence, gradually revealing her anger with the terms that humanity seeks to impose on her through... | | | | |
|
|
Strategies for eCommerce SuccessWith electronic commerce growing so rapidly, businesses need to examine critical elements that could influence users' perceptions of business-to-business and business-to-consumer electronic commerce. This book presents a study of key components and concepts of e-commerce, evaluates the critical success factors for global e-commerce, the economics... | | Methods of Historical Analysis in Electronic Media (Lea's Communication Series)Methods of Historical Analysis in Electronic Media provides a foundation for historical research in electronic media by addressing the literature and the methods—traditional and the eclectic methods of scholarship as applied to electronic media. It is about history—broadcast electronic media history and history that has been broadcast,... | | The Developer's Guide to DebuggingSoftware has bugs. Period.
That's true, unfortunately. Even the good old "hello, world" program, known to virtually every C and C++ programmer in the world, can be considered to be buggy. Developing software means having to deal with defects; old ones, new ones, ones you created yourself, and those that others brought to life.... |
|
| Result Page: 991 990 989 988 987 986 985 984 983 982 981 980 979 978 977 976 975 974 973 |
