Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
 
International Access
Global Shipping Options Available
  Our Catalog   Computers & Technology   Programming Languages

Foundations for Programming Languages (Foundations of Computing)


Blowout Sale! Free Shipping Included! Save 51% on the Foundations for Programming Languages (Foundations of Computing) by Brand: MIT Press at Translate This Website. Hurry! Limited time offer. Offer valid only while supplies last. Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to


Product Description

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

Additional Information

Manufacturer:The MIT Press
Brand:Brand: MIT Press
Publisher:The MIT Press
Studio:The MIT Press
EAN:9780262133210
Item Weight:3.5 pounds
Item Size:1.95 x 9.2 x 9.2 inches
Package Weight:3.35 pounds
Package Size:7.2 x 1.9 x 1.9 inches

Foundations for Programming Languages (Foundations of Computing) by Brand: MIT Press

Buy Now:
Foundations for Programming Languages (Foundations of Computing)

Brand: Brand: MIT Press
4.7 out of 5 stars with 14 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$100.00
$49.99
You Save: 50%


Quantity:  

 


View More In Programming Languages.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Brand: MIT Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Brand: CL Engineering
ean: 9780534932756, isbn: 0534932754,
Clements has a gift for conveying highly complex, technical information in an exceptionally clear and readable manner. Clements writing style is very student oriented, and stresses the basics of 68000 ASL while also covering the latest information on...

By Bjarne Stroustrup
mpn: 39022161, ean: 9780321958327, isbn: 0321958322,
The new C++11 standard allows programmers to express ideas more clearly, simply, and directly, and to write faster, more efficient code. Bjarne Stroustrup, the designer and original implementer of C++, has reorganized, extended, and completely rewrit...

By Brand: Addison-Wesley
mpn: Illustrations, ports., ean: 9780131395312, isbn: 0131395319,
For undergraduate students in Computer Science and Computer Programming courses.   Now in its Tenth Edition, Concepts of Programming Languages introduces students to the main constructs of contemporary programming languages and provides the tools ...

By Pearson
mpn: black & white tables, figures, ean: 9780133769401, isbn: 0133769402,
Assembly Language for x86 Processors, 7e is intended for use in undergraduate courses in assembly language programming and introductory courses in computer systems and computer architecture. This title is also suitable for embedded systems programm...

By Brand: Franklin, Beedle Associates Inc.
ean: 9781590282502, isbn: 1590282507,
This book introduces the concepts of diverse programming languages for students who have already mastered basic programming in at least one language. It is suitable for use in an undergraduate course for computer science and computer engineering majo...

By Apress
ean: 9781484224021, isbn: 9781484224021,
Learn Intel 64 assembly language and architecture, become proficient in C, and understand how the programs are compiled and executed down to machine instructions, enabling you to write robust, high-performance code.Low-Level Programming explains Int...

By E-Man Press LLC
ean: 9780982692660, isbn: 0982692668,
Significant changes in the third edition include updated serial communication description (UART, SPI, and I2C), new serial communication examples, incorporation of GNU gcc compiler, low power modes, modification of example programs from STM32L1 (Cort...



Privacy Policy / Terms of Service
© 2018 - translateth.is. All Rights Reserved.