Søgning på underkategorier- og emner:
This book presents the proceedings of the Distributed Ada '89 Symposium... Læs mere
This book presents the rationale behind the design and development of the programming language Ada. The materials incorporating corrections to... Læs mere
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.
C is one of the most popular programming languages. It is flexible, efficient, and highly portable, and can be used to write many different types of programs - from compilers and assemblers... Læs mere
By popular demand Donald Alcock has applied his unique formula of graphics and calligraphy to illustrate ANSI C. A feature of the layout is the double-page spread, each covering a... Læs mere
The book covers the topic of concurrent programming using Concurrent ML (CML), an extension of the functional language Standard ML. The book is a practical 'how-to' book... 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 2004 book provides students and professional programmers with a concise yet comprehensive view of the role memory plays in all aspects of programming and... Læs mere
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 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