As new clean tight and bright oversized and overweight. Please email for photos. Larger books or sets may require additional shipping charges. Books sent via US Postal. N� de r�f. du vendeur 115875

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre : Foundations for Programming Languages (...

�diteur : The MIT Press

Date d'�dition : 1996

Reliure : hardcover

Etat : As New

A propos de ce titre

Synopsis :

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

� propos de l?auteur:

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

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Grifin Books is a small family run bookstore based in Connecticut. Our selection is typically very eclectic, as is our taste in books, but we lean towards esoteric non fiction. All inquiries are answered as soon as possible and if we can be of assistance with any of your book needs or questions please contact us. David Greif head book wrangler and bottle washer. 203 353 9193 dagreif@yahoo.com

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Griffin Books
CT, U.S.A.

Conditions de vente :

Books offered subject to prior sale. Payment methods: personal check, money order, paypal or bank draft(all in US dollars). Credit cards payments accepted through ABE. Paypal accepted but must be processed by buyer (Abe does not process paypal payments) at dagrefi@yahoo.com. Shipping terms: shipping to be paid by purchaser; all standard options available, including priority methods. Returns accepted within 14 days, in same condition as received. email is dagreif@yahoo.com phone is 203 353 9193

Conditions de livraison :

Orders 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 extra shipping is required. To contact us please use dagreif@yahoo.com or 203 353 9193.

Modes de paiement
accept�s par le vendeur

Mandat postal Traite bancaire

Ajouter aux demandes de livres

Articles li�s � Foundations for Programming Languages (Foundations...

Foundations for Programming Languages (Foundations of Computing)

Mitchell, John C.

Ancien(s) ou d'occasion - Couverture rigide

Informations commerciales relatives au vendeur