Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Science & Math   Mathematics

Foundations for Programming Languages (Foundations of Computing)


Super Savings Item! Save 37% 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.7 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
$63.70
You Save: 36%


Quantity:  

 


View More In Mathematics.

 


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


mpn: illustrations, ean: 9780321455369, isbn: 0321455363,
This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical applications. This new edition come...

ean: 9781498796293, isbn: 149879629X,
Although many books have been written about Mathematica, very few of them cover the new functionality added to the most recent versions of the program. Mathematica Beyond Mathematics: The Wolfram Language in the Real World introduces the new features...

mpn: 150 black & white illustrations, 71 blac, ean: 9781482229851, isbn: 1482229854,
Delivering a solid introduction to assembly language and embedded systems, ARM Assembly Language: Fundamentals and Techniques, Second Edition continues to support the popular ARM7TDMI, but also addresses the latest architectures from ARM, including C...



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