plotkin b (19 Ergebnisse)

gebundene Ausgabe. Zustand: Gut. 502 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 960.

Hardcover. Zustand: ex library-good. xviii, 502 p. 23 cm. Red hardcover. Ex library with labels on spine and rear pastedown. Ink stamps on top edge and title. Spine faded.

Zustand: New. In.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems to solve reoursive domain equations effectively.- The semantics of second order polymorphic lambda calculus.- Polymorphism is not set-theoretic.- A theory of data type representation independence.- Abstract data types and their extensions within a constructive logic.- Deriving structural induction in LCF.- Executable specification of static semantics.- Cartesian closed categories of enumerations for effective type structures.- Type inference and type containment.- F-semantics for intersection type discipline.- The typechecking of programs with implicit type structure.- Partial implementations of abstract data types: A dissenting view on errors.- Building specifications in an arbitrary institution.- A proof system for verifying composability of abstract implementations.- Towards a proof theoryof parameterized specifications.

Zustand: Sehr gut. Auflage: 1994. 438 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,4 x 16,3 x 3,6 cm, Gebundene Ausgabe.

Taschenbuch. Zustand: Neu. Semantics of Data Types | International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings | G. Kahn (u. a.) | Taschenbuch | viii | Englisch | 1984 | Springer | EAN 9783540133469 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Hardcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Sprache: Englisch Gewicht in Gramm: 550.

Zustand: New. In.

Zustand: New. In.

Zustand: New. pp. 460 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Taschenbuch. Zustand: Neu. Universal Algebra, Algebraic Logic, and Databases | B. Plotkin | Taschenbuch | xv | Englisch | 2013 | Springer | EAN 9789401043526 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Modern algebra, which not long ago seemed to be a science divorced from real life, now has numerous applications. Many fine algebraic structures are endowed with meaningful contents. Now and then practice suggests new and unexpected structures enriching algebra. This does not mean that algebra has become merely a tool for applications. Quite the contrary, it significantly benefits from the new connections. The present book is devoted to some algebraic aspects of the theory of databases. It consists of three parts. The first part contains information about universal algebra, algebraic logic is the subject of the second part, and the third one deals with databases. The algebraic material of the flI'St two parts serves the common purpose of applying algebra to databases. The book is intended for use by mathematicians, and mainly by algebraists, who realize the necessity to unite theory and practice. It is also addressed to programmers, engineers and all potential users of mathematics who want to construct their models with the help of algebra and logic. Nowadays, the majority of professional mathematicians work in close cooperation with representatives of applied sciences and even industrial technology. It is neces sary to develop an ability to see mathematics in different particular situations. One of the tasks of this book is to promote the acquisition of such skills.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Modern algebra, which not long ago seemed to be a science divorced from real life, now has numerous applications. Many fine algebraic structures are endowed with meaningful contents. Now and then practice suggests new and unexpected structures enriching algebra. This does not mean that algebra has become merely a tool for applications. Quite the contrary, it significantly benefits from the new connections. The present book is devoted to some algebraic aspects of the theory of databases. It consists of three parts. The first part contains information about universal algebra, algebraic logic is the subject of the second part, and the third one deals with databases. The algebraic material of the flI'St two parts serves the common purpose of applying algebra to databases. The book is intended for use by mathematicians, and mainly by algebraists, who realize the necessity to unite theory and practice. It is also addressed to programmers, engineers and all potential users of mathematics who want to construct their models with the help of algebra and logic. Nowadays, the majority of professional mathematicians work in close cooperation with representatives of applied sciences and even industrial technology. It is neces sary to develop an ability to see mathematics in different particular situations. One of the tasks of this book is to promote the acquisition of such skills.

Zustand: New. Zustand des Schutzumschlags: NUEVO.

Zustand: New. Zustand des Schutzumschlags: NUEVO.

Softcover. Zustand: vg-. First edition. Quarto. 18pp. Spiral-bound illustrated white wrappers, with black lettering on the covers. This publication commemorates the 22nd anniversary of the death of influential Zionist leader Ze'ev Jabotinsky, and was produced to coincide with the event held in his honor on July 29th 1962, in Beverly Hills, CA. Includes essays, and appraisals of Jabotinsky and other significant figures of Revisionist Zionism, as well as b/w photographic reproductions throughout. Some local advertisements at the back. Pages printed on glossy paper. Spiral binding with many of the teeth chipped. Wrappers with a few light smudges and/or stains. Small creases and closed tears to the top of a few pages. Wrappers and interior in very good- condition overall. Quite scarce. Protected by modern mylar.

1993 Cántaro editores Col. Estudios Socio-Políticos. 368 pp. 18x11 cm. Enc. en rústica edit. Algo subrayado. Para ver o recibir fotografías de los libros puede ir a nuestra web o solicitarlas.(Argentina).

Hardcover. Zustand: Good. Zustand des Schutzumschlags: No D/J. First Edition. No D/J. Boards a little marked.