Hardcover book. The exterior can have various markings and wear. The pages appear to be clean and unmarked. All items ship Monday - Saturday - Fast Shipping in a secure package. Your purchase will help support the programs and collections of the Johnson County (Kansas) Library.

Bestandsnummer des Verk�ufers 53DTTR000RAH

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Foundations for Programming Languages (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Verlag: Mit Pr
Erscheinungsjahr: 1996
Sprache: Englisch
ISBN-10: 0262133210
ISBN-13: 9780262133210
Einband: Hardcover
Zustand: Good

�ber diesen Titel

Inhaltsangabe

Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems. Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic. Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series

�ber die Autorin bzw. den Autor

John C. Mitchell is Professor in the Department of Computer Science at Stanford University.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We sell books and AV items withdrawn from the Johnson County (Kansas) Library's collection as well as like items donated to us by the public.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Friends of Johnson County Library
8279 Melrose Dr, Lenexa, KS, 66214, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Payment must be received prior to shipment of item purchased. Returns must be
authorized by Friends of the Johnson County Library. All payments must be made
in US dollars. Shipment will be made via US Mail within 2 days of purchase.
Advise us if priority shipment required. That can be provided at additional
cost.

Friends of the Johnson County Library
8700 Shawnee Mission parkway
Merriam, KS 66202 USA
jocolibfriends@yahoo.com
(913) 492-4777
Matthew B Delaney - authorized representative

Widerrufsbelehrung

Versandbedingungen

Orders usually ship within 2 business days. Shipping costs are based on books
weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact
you to let you know additional shipping reimbursement is required.

Versandkosten von USA nach Deutschland

Versandkosten von USA nach Deutschland
Bestellmenge	21 bis 36�Werktage	5 bis 8�Werktage
Erster Artikel	EUR 37.89	EUR 37.89

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.