Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150518 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Object Oriented Programming: A Unified Foundation (Progress in Theoretical Computer Science)
Rok: 1997
ISBN: 9780817639051
OKCZID: 110107844
Anotace
The language Simula is the precursor of all object-oriented languages. This language imposed a certain style of programming that was followed by all class-based object-oriented languages until the appearance of the so-called multiple-dispatching languages, like CLOS, in which a different style of object-oriented programming arose. Although much work has been done to define a theory of object-oriented languages, efforts have concentrated mostly on languages that follow Simula's style, ignoring multiple-dispatching languages. This book fills the gap. It elucidates object-oriented concepts, facilitate comparisons of these two different styles of programming and sheds new light on some long-standing problems concerning, for example, the use of covariance and contravariance, or the typing of binary methods. This book also shows that it is possible to smoothly integrate both Simula's and CLOS's styles of programming into a single language. The book is self-contained and does not assume any expertise in object-oriented programming or type theory. It will be consulted by professional computer scientists interested in the theory of programming and can serve as the text for a variety of advanced courses in type theory of object-oriented programming.