Søgning på underkategorier- og emner:
The papers cover a wide range of topics including program verification,... Læs mere
This book constitutes the proceedings of the 24th International... Læs mere
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems.
Object-oriented constraints apply to specification and verification of object-oriented programs, specification of the object-oriented platform, more advanced concurrent models, database integrity constraints and object-oriented transactions, their specification and verification.
This book constitutes the proceedings of the 11th European Conference on Software Architecture,... Læs mere
This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing. With a practical focus on learning by example, the book includes numerous exercises to explain theory.
This book presents computer programming as a key method for solving mathematical problems. The book was... Læs mere
highlights the patterns which frequently appear when writing programs, reinforcing the application of these patterns for problem-solving through practice exercises;... Læs mere
Software architecture is a primary factor in the creation and evolution of virtually all products involving software.
Beginning Python Visualization: Crafting Visual Transformation Scripts, Second Edition discusses turning many types of data sources,... Læs mere