Search preferences
Skip to main search results

Search filters

Product Type

  • All Product Types 
  • Books (1)
  • Magazines & Periodicals (No further results match this refinement)
  • Comics (No further results match this refinement)
  • Sheet Music (No further results match this refinement)
  • Art, Prints & Posters (No further results match this refinement)
  • Photographs (No further results match this refinement)
  • Maps (No further results match this refinement)
  • Manuscripts & Paper Collectibles (No further results match this refinement)

Condition Learn more

  • New (No further results match this refinement)
  • As New, Fine or Near Fine (1)
  • Very Good or Good (No further results match this refinement)
  • Fair or Poor (No further results match this refinement)
  • As Described (No further results match this refinement)

Binding

Collectible Attributes

  • First Edition (No further results match this refinement)
  • Signed (No further results match this refinement)
  • Dust Jacket (No further results match this refinement)
  • Seller-Supplied Images (No further results match this refinement)
  • Not Print on Demand (1)

Language (1)

Price

  • Any Price 
  • Under US$ 25 (No further results match this refinement)
  • US$ 25 to US$ 50 (No further results match this refinement)
  • Over US$ 50 
Custom price range (US$)

Free Shipping

  • Free Shipping to U.S.A. (No further results match this refinement)

Seller Location

  • Zhang, Guo-Qiang.

    Published by Birkhauser:, 1991

    Seller: PASCALE'S BOOKS, NORTH READING, MA, U.S.A.

    Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

    Contact seller

    US$ 5.50 shipping within U.S.A.

    Destination, rates & speeds

    Quantity: 1 available

    Add to basket

    Hard Cover. Condition: Fine. The first printing, 259 pages. This book "is a thorough study of some important logical aspects of domains as used in the denotational semantics of programming languages. Against a background of a well-developed and sophisticated domain theory, the author builds logical frameworks from domains and uses them for the derivation of program logics. The reader will gain from this work a broad and deep understanding of the state of knowledge in this vital area of theoretical computer science." FINE HARDCOVER. Size: 8vo - over 7¾" - 9¾" tall.