Foto 1 di 1

Foto di catalogo

FOUNDATIONS FOR PROGRAMMING LANGUAGES (FOUNDATIONS OF By John C. Mitchell NEW - Foto 1 di 1

Foundations of Computing Ser.: Foundations for Programming Languages by Michael R. Garey, John C. Mitchell and Albert Meyer (1996, Hardcover)

ZUBER (269548)

97,8% di feedback positivi

Prezzo:

US $71,50

CircaEUR 61,43

+ $24,68 di spese di spedizione

Consegna prevista mer 17 set - ven 26 set

Restituzioni:

Restituzioni entro 30 giorni. Le spese di spedizione del reso sono a carico dell'acquirente..

Condizione:

Nuovo

FOUNDATIONS FOR PROGRAMMING LANGUAGES (FOUNDATIONS OF COMPUTING) By John C. Mitchell & Michael R. Garey & Albert Meyer - Hardcover **BRAND NEW**.

Informazioni su questo prodotto

Product Identifiers

PublisherMIT Press

ISBN-100262133210

ISBN-139780262133210

eBay Product ID (ePID)59310

Product Key Features

Number of Pages868 Pages

LanguageEnglish

Publication NameFoundations for Programming Languages

Publication Year1996

SubjectProgramming Languages / General

TypeTextbook

AuthorMichael R. Garey, John C. Mitchell, Albert Meyer

Subject AreaComputers

SeriesFoundations of Computing Ser.

FormatHardcover

Dimensions

Item Height1.8 in

Item Weight53.1 Oz

Item Length9.2 in

Item Width7 in

Additional Product Features

Intended AudienceCollege Audience

LCCN95-045243

Dewey Edition20

Reviews"Programming languages embody the pragmatics of designing software systems, and also the mathematical concepts which underlie them. Anyone who wants to know how, for example, object-oriented programming rests upon a firm foundation in logic should read this book. It guides one surefootedly through the rich variety of basic programming concepts developed over the past forty years." -Robin Milner, Professor of Computer Science, The Computer Laboratory, Cambridge University

IllustratedYes

Dewey Decimal005.13/1

SynopsisWritten 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

LC Classification NumberQA76.7.M57 1996