Skip to content

SEMANTICS OF PROGRAMMING LANGUAGES. Structures And Techniques.

SEMANTICS OF PROGRAMMING LANGUAGES. Structures And Techniques.

Stock Photo: Cover May Be Different
Click for full-size.

SEMANTICS OF PROGRAMMING LANGUAGES. Structures And Techniques.

by Gunter, Carl A

  • Used
  • Fine
  • Hardcover
Condition
Fine/Not Issued with a Dust Jacket.
ISBN 10
0262071436
ISBN 13
9780262071437
Seller
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
North Reading, Massachusetts, United States
Item Price
£60.50
Or just £54.45 with a
Bibliophiles Club Membership
£4.03 Shipping to USA
Standard delivery: 4 to 8 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

MIT Press:, 1993. First published in 1992, this book is the second printing from 1993, 419 pages, illustrated with Tables and Figures. "This book expounds the basic motivations and philosophy underlying the applications of semantic techniques in programming language theory. There is an emphasis on the structures used in semantics and the techniques that have been developed for relating various approaches to the semantics of programming languages, particularly for languages with higher-order functions. Type semantics are the central organizational theme of the discussion." FINE HARDCOVER.. Hard Cover. Fine/Not Issued with a Dust Jacket.. 8vo - over 7¾" - 9¾" tall.

Reviews

(Log in or Create an Account first!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Bookseller
PASCALE'S BOOKS US (US)
Bookseller's Inventory #
022784
Title
SEMANTICS OF PROGRAMMING LANGUAGES. Structures And Techniques.
Author
Gunter, Carl A
Format/Binding
Hardcover
Book Condition
Used - Fine
Jacket Condition
Not Issued with a Dust Jacket.
ISBN 10
0262071436
ISBN 13
9780262071437
Publisher
MIT Press:
Place of Publication
Cambridge, Massachusetts, U.s.a. & London, U.k.
Date Published
1993
Size
8vo - over 7¾" - 9&f
Keywords
Technology, computer Science, Programming Languages, Semantics, Lambda Calculus, Bc-Domains, , Parametric Polymorphism, Subtype Polymorphism, Isbn: 0-262-07143-6, Type Semantics

Terms of Sale

PASCALE'S BOOKS

Returns: Any questions? Just call or write. Please e-mail (d.dapbooks@verizon.net) or call ahead (978-276-3122) to confirm that the book is still in stock. All dust jackets are protected with a clear plastic dust jacket. Returnable within 7 days, if I am notified in advance. Shipping times cannot be guaranteed. They are only estimates based on the carriers' delivery times, and do not include Customs processing. If your order will pass through Customs, please expect a possible delay. Also note that I will try to ship your book for the lowest price possible. Massachusetts customers note sales tax is 6.25%.

As of Nov. 2021- EXPECT LONG DELAYS IN BOOKS BEING SHIPPING BY MEDIA MAIL VIA USPS UNTIL Jan. 15th 2022


About the Seller

PASCALE'S BOOKS

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2004
North Reading, Massachusetts

About PASCALE'S BOOKS

Pascale's Books is a mail order business, specializing in scholarly non-fiction books in many subjects, such as American law, sociology, technology, architecture, aviation, astronomy and more. The more unique the better. Content and condition are both equally important to me as a bookseller. I have over 35 years experience buying and selling books and ephemera.
"Read an old book and learn something new."

Glossary

Some terminology that may be used in this description includes:

Fine
A book in fine condition exhibits no flaws. A fine condition book closely approaches As New condition, but may lack the...
Jacket
Sometimes used as another term for dust jacket, a protective and often decorative wrapper, usually made of paper which wraps...
tracking-