Proceedings of the Fourth Annual Symposium on [title] held June 1989, Pacific Grove, CA. Comprises 38 papers on such topics as: stratified polymorphism; fixpoint extensions of first-order logic; type inference for record concatenation and multiple inheritance; substitutional recursion on non-well-founded sets; characterizing complexity classes by higher type. No index. Annotation copyright Book News, Inc. Portland, Or.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
EUR 14,95 per la spedizione da Germania a Italia
Destinazione, tempi e costiDa: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Softcover-Großformat. Condizione: Gut. 418 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Einbandkanten sind leicht bestoßen. Leichte altersbedingte Anbräunung des Papiers. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1020. Codice articolo 1771618
Quantità: 1 disponibili
Da: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Condizione: Good. IEEE Computer Society Press, 1989. Ex-library; cover lightly rubbed/bumped/soiled; edges lightly soiled, library stamps present; library markings at pastedowns/endpapers; binding tight; interior intact and clean, except where noted; due to the size/weight of this item, additional shipping charges may apply for Expedited/International orders. hardcover. Good. Codice articolo 606418
Quantità: 1 disponibili