for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Tanaka-Ishii presents a semiotic analysis of computer programs along three axes: models of signs, kinds of signs, and systems of signs. This book considers the question of what... Læs mere
Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of... Læs mere
This 1998 book is a beginner's guide to problem solving with computers that shows how to quickly prototype a program for a particular... Læs mere
Most books on data structures assume an imperative language. However, their data structures do not translate well to functional languages. This book describes data... Læs mere
This book teaches functional programming as a way of thinking and problem solving, using Haskell, the most popular... Læs mere
This book is for an undergraduate course on data structures, presenting the basic principles of OOP and GUI programming with Java. By integrating the... Læs mere
This 2000 collection of articles by well-known experts moves from theoretical frameworks, models, and systems of notation to case studies by researchers. The... Læs mere
This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.
This is the definitive compendium of design patterns in communication software, gathered together by a recognized leader in the field. Contributors include... Læs mere
This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is... Læs mere
An introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic. The author... Læs mere
This systematic introduction to object-oriented software development is suitable for teaching as well as for practicing software engineers seeking to add rigour to their techniques. It... Læs mere