for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Scott Ambler's updated edition of The Object Primer now presents all modeling notation in UML 2.0. All chapters have been revised to take advantage of Agile Modeling (AM), which is presented in the new chapter 2 along with other important modeling techniques.
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading, concentrating in particular on the implementation of overloading in Haskell and Gofer.
At last, the VB.NET programmer has a dedicated reference - no more translating elementary material from C++ or Java. This is the only VB.NET book... Læs mere
This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in... Læs mere
The goals of this book are twofold: first to present a coherent and systematic treatment of the foundations; secondly to present algorithmic solutions to problems that are simple to... Læs mere
The major change for the new edition of the successful text is the extensive use of modules. In addition, the first chapter has been totally rewritten to make the book... Læs mere
The authors introduce functional programming via examples and explain what programs compute and how to reason about them. They implement the ideas in Caml and in... Læs mere
The author provides a homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Researchers... Læs mere
This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.
Contains theoretical foundations, applications, and examples of competitive analysis for online algorithms.
Written for Smalltalk programmers, this book is designed to help readers become more effective Smalltalk developers and object technology users.... Læs mere
Written by four experienced software developers, this is a practical book about object-based and component-based software development.