D b macqueen (11 résultats)

Auteur: 
Affiner les résultats avec une recherche avancée

Affiner la recherche

  • Livres (11)

à

Fourchette de prix personnalisée (EUR)

à

    • Langue : anglais

      Edité par Springer-Verlag, 1984

      3540133461 / 9783540133469

      • Couverture souple

      Vendeur : Munster & Company LLC, ABAA/ILAB, Corvallis, OR, Etats-UnisMunster & Company LLC, ABAA/ILAB

      Vendeur avec une évaluation de 5 étoiles
      Contacter le vendeur

      Membre d’une association professionnelle : ABAACBAILAB

      Etat: Occasion - Satisfaisant

      EUR 21,55

      EUR 1,70 expédition 
      Expédition nationale : Etats-Unis

      Quantité disponible : 1 disponible(s)

      Etat : Good. Springer-Verlag, 1984. This Book is in Good Condition. Light wear to covers and edges, light erasures on Title page, text is clean with no marks, binding tight. Not Ex- Library or Remaindered. 100% Guaranteed. paperback. Good.

    • Edité par Hutchinson (1953), London, 1953

      • Couverture rigide

      Vendeur : Ray Boas, Bookseller - Established 1980, Walpole, NH, Etats-UnisRay Boas, Bookseller - Established 1980

      Vendeur avec une évaluation de 5 étoiles
      Contacter le vendeur

      Etat: Occasion

      EUR 13,47

      EUR 4,87 expédition 
      Expédition nationale : Etats-Unis

      Quantité disponible : 1 disponible(s)

      Ajouter au panier

      HC. 240pp good w/lightly chipped dustjacket (hardcover). B&W illustrations (illustrateur).

    • Edité par Hutchinson, London, 1943

      • Couverture souple

      Vendeur : Wheeler's Bookshop, Midhurst, West Sussex, Royaume-UniWheeler's Bookshop

      Vendeur avec une évaluation de 5 étoiles
      Contacter le vendeur

      Etat: Occasion - Assez bon

      EUR 18,03

      EUR 19,60 expédition 
      Expédition depuis Royaume-Uni vers Etats-Unis

      Quantité disponible : 1 disponible(s)

      Ajouter au panier

      Softcover. Etat : Very Good. Undated. Circa 1943. 8vo. Pictorial paper cover. 80 pp. plus advert pages. B/w illustrations and photos. Essays on popular and music-hall songs of the late 19th and early 20th Century. Clean and bright. Just light edge-wear to covers. VG.

    • Langue : anglais

      Edité par Springer, 1984

      3540133461 / 9783540133469

      • Couverture souple

      Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

      Vendeur avec une évaluation de 5 étoiles
      Contacter le vendeur

      Etat: Neuf

      EUR 45,05

      EUR 13,17 expédition 
      Expédition depuis Royaume-Uni vers Etats-Unis

      Quantité disponible : Plus de 20 disponibles

      Etat : New. In English.

    • Langue : anglais

      Edité par Springer 1984-06, 1984

      3540133461 / 9783540133469

      • Couverture souple

      Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

      Vendeur avec une évaluation de 5 étoiles
      Contacter le vendeur

      Etat: Neuf

      EUR 41,18

      EUR 18,07 expédition 
      Expédition depuis Royaume-Uni vers Etats-Unis

      Quantité disponible : 10 disponible(s)

      PF. Etat : New.

    • Langue : anglais

      Edité par Springer, Springer, 1984

      3540133461 / 9783540133469

      • Couverture souple

      Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

      Vendeur avec une évaluation de 5 étoiles
      Contacter le vendeur

      Etat: Neuf

      EUR 37,44

      EUR 63,05 expédition 
      Expédition depuis Allemagne vers Etats-Unis

      Quantité disponible : 1 disponible(s)

      Taschenbuch. Etat : 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.…

    • Langue : anglais

      Edité par Springer, 1984

      3540133461 / 9783540133469

      • Couverture souple

      Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

      Vendeur avec une évaluation de 4 étoiles
      Contacter le vendeur

      Etat: Occasion - Assez bon

      EUR 99,75

      EUR 29,17 expédition 
      Expédition depuis Royaume-Uni vers Etats-Unis

      Quantité disponible : 1 disponible(s)

      Paperback. Etat : Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

    • Edité par University of Edinburgh, Edinburgh, 1981

      • Couverture souple

      Vendeur : Antiquariat Torsten Bernhardt eK, Hamburg, AllemagneAntiquariat Torsten Bernhardt eK

      Vendeur avec une évaluation de 4 étoiles
      Contacter le vendeur

      Etat: Occasion - Assez bon

      EUR 10,00

      EUR 70,00 expédition 
      Expédition depuis Allemagne vers Etats-Unis

      Quantité disponible : 1 disponible(s)

      Ajouter au panier

      kartoniert. Etat : guter Zustand. 30 S., Kt., 8° (21 cm) Sprache: eng.

    • Langue : anglais

      Edité par Springer Berlin Heidelberg Jun 1984, 1984

      3540133461 / 9783540133469

      • Couverture souple
      • impression à la demande

      Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.

      Vendeur avec une évaluation de 5 étoiles
      Contacter le vendeur

      Etat: Neuf

      EUR 37,44

      EUR 23,00 expédition 
      Expédition depuis Allemagne vers Etats-Unis

      Quantité disponible : 2 disponible(s)

      Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 theory of parameterized specifications. 404 pp. Englisch.…

    • Langue : anglais

      Edité par Springer Berlin Heidelberg, 1984

      3540133461 / 9783540133469

      • Couverture souple
      • impression à la demande

      Vendeur : moluna, Greven, Allemagnemoluna

      Vendeur avec une évaluation de 5 étoiles
      Contacter le vendeur

      Etat: Neuf

      EUR 35,19

      EUR 48,99 expédition 
      Expédition depuis Allemagne vers Etats-Unis

      Quantité disponible : Plus de 20 disponibles

      Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 semanti.…

    • Langue : anglais

      Edité par Springer, Springer Jun 1984, 1984

      3540133461 / 9783540133469

      • Couverture souple
      • impression à la demande

      Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000

      Vendeur avec une évaluation de 5 étoiles
      Contacter le vendeur

      Etat: Neuf

      EUR 37,44

      EUR 60,00 expédition 
      Expédition depuis Allemagne vers Etats-Unis

      Quantité disponible : 1 disponible(s)

      Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 404 pp. Englisch.…