Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

A Theory of Objects, Martin Abadi; Luca Cardelli


Варианты приобретения
Цена: 32142.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Martin Abadi; Luca Cardelli
Название:  A Theory of Objects
ISBN: 9781461264453
Издательство: Springer
Классификация:



ISBN-10: 1461264456
Обложка/Формат: Paperback
Страницы: 396
Вес: 0.58 кг.
Дата издания: 05.09.2012
Серия: Monographs in Computer Science
Язык: English
Размер: 235 x 157 x 22
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi, the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming


A Theory of Distributed Objects

Автор: Denis Caromel; Luca Cardelli; Ludovic Henrio
Название: A Theory of Distributed Objects
ISBN: 3642058841 ISBN-13(EAN): 9783642058844
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Offers an extensive review of concurrent languages and calculi, with comprehensive figures and summaries. Presents and analyses many implementation strategies that can readily be used by developers of distributed systems.

Formal Methods for Components and Objects

Автор: Marcello M. Bonsangue; Susanne Graf; Willem-Paul d
Название: Formal Methods for Components and Objects
ISBN: 3540921877 ISBN-13(EAN): 9783540921875
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This title presents 12 revised papers submitted after the symposium by the speakers of various European IST projects.

Objects, Models, Components, Patterns

Автор: Jan Vitek
Название: Objects, Models, Components, Patterns
ISBN: 3642139523 ISBN-13(EAN): 9783642139529
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 48th International Conference on Objects, Models, Components, Patterns, held in Malaga, Spain, in June/July 2010.

PHP Objects, Patterns, and Practice

Автор: ZANDSTRA
Название: PHP Objects, Patterns, and Practice
ISBN: 1484219953 ISBN-13(EAN): 9781484219959
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Поставка под заказ.

Описание:

The 5th edition of this popular book has been fully updated for PHP 7, including replacing the PEAR package manager with Composer, and new material on Vagrant and PHP standards. It provides a solid grounding in PHP's support for objects, it builds on this foundation to instill core principles of software design and then covers the tools and practices needed to develop, test and deploy robust code.
PHP Objects, Patterns, and Practice begins by covering PHP's object-oriented features. It introduces key topics including class declaration, inheritance, reflection and much more.
The next section is devoted to design patterns. It explains the principles that make patterns powerful. The book covers many of the classic design patterns and includes chapters on enterprise and database patterns.
The last segment of the book covers the tools and practices that can help turn great code into a successful project. The section shows how to manage multiple developers and releases with git, how to manage builds and dependencies with Composer. It also explores strategies for automated testing and continuous integration.
Taken together these three elements: object fundamentals, design principles, and best practice will help the reader develop elegant and rock solid systems.
PHP Objects, Patterns, and Practice:
Describes and demonstrates PHP's built-in object-oriented featuresBreaks down the principles of object-oriented design, explaining key design patterns using practical examples.Discusses the tools and practices necessary for developing, testing and deploying exemplary applications.
What You'll Learn:
How to work with object fundamentals: writing classes and methods, instantiating objects, creating powerful class hierarchies using inheritance.Master advanced object-oriented features, including static methods and properties, managing error conditions with exceptions, and creating abstract classes and interfaces.Learn about the new object-oriented features introduced by PHP 7 and why they matter for your code.Understand and use design principles to deploy objects and classes effectively in your projects.Learn about design patterns, their purpose, structure and the underlying principles that govern them. Discover a set of powerful patterns that you can deploy in your own projects.Learn about the tools and practices that can guarantee a successful project including unit testing; version control, build, installation and package management; and continuous integration.
Who This Book is For:
This book is suitable for anyone with at least a basic knowledge of PHP who wants to use its object-oriented features in their projects.
Those who already know their interfaces from their abstracts may well still find it hard to use these features in their systems. They will benefit from the book's emphasis on design. They will learn how to choose and combine the participants of a system; how to read design patterns and how to use them in their code.
Finally this book is for PHP coders who want to learn about the practices and tools (version control, testing, continuous integration, etc) that can make projects safe, elegant and stable.
Modeling Design Objects and Processes

Автор: Takaaki Yagiu
Название: Modeling Design Objects and Processes
ISBN: 3642844227 ISBN-13(EAN): 9783642844225
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Here, the term product modeling is used to signify the construction of informational models of design objects and design pro- cesses in which it must be possible to include not a fixed set of attributes and relations, such as geometry, physical properties, part-of hierarchy, etc.

Expert c# 2005  business objects

Автор: Lhotka, Rockford
Название: Expert c# 2005 business objects
ISBN: 1590596323 ISBN-13(EAN): 9781590596326
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Rockford Lhotka is a very influential speaker and author in this areaLhotka`s previous editions have established his own market positionLhotka continues to present these books as his flagship IP in his speaking career

Expert vb 2005 business objects

Автор: Lhotka, Rockford
Название: Expert vb 2005 business objects
ISBN: 1590596315 ISBN-13(EAN): 9781590596319
Издательство: Springer
Рейтинг:
Цена: 7126.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Popular conference speaker "Rocky" Lhotka shows how to use the framework to create a sample application and demonstrates how easy it is to write Windows, Web, and Web services interfaces for applications based on it.

Formal Methods for Components and Objects

Автор: Bernhard Beckert; Ferruccio Damiani; Frank S. de B
Название: Formal Methods for Components and Objects
ISBN: 3642358861 ISBN-13(EAN): 9783642358869
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The ASCENS Project.- ASCENS: Engineering Autonomic Service-Component Ensembles.- A Language-Based Approach to Autonomic Computing.- A Survey on Basic Connectors and Buffers.- The EternalS Coordination Action.- Synthesis-Based Variability Control: Correctness by Construction.- Modeling Application-Level Management of Virtualized Resources in ABS.- HATS Abstract Behavioral Specification: The Architectural View.- Automatic Service Categorisation through Machine Learning in Emergent Middleware.- Towards a Model- and Learning-Based Framework for Security Anomaly Detection.- Enhancing Model Driven Security through Pattern Refinement Techniques.- Project Zeppelin: A Modern Web Application Development Framework.- The ParaPhrase Project.- Managing Adaptivity in Parallel Systems.- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems.- Paraphrasing: Generating Parallel Programs Using Refactoring.- An Abstract Annotation Model for Skeletons.- The PRO3D Project.- PRO3D, Programming for Future 3D Manycore Architectures: Project Interim Status.- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems.- Component Assemblies in the Context of Manycore.- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints.

Formal Methods for Components and Objects

Автор: Elena Giachino; Reiner H?hnle; Frank S. de Boer; M
Название: Formal Methods for Components and Objects
ISBN: 3642406149 ISBN-13(EAN): 9783642406140
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

Formal Methods for Components and Objects

Автор: Marcello M. Bonsangue; Eric Madelaine
Название: Formal Methods for Components and Objects
ISBN: 3642041663 ISBN-13(EAN): 9783642041662
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия