Minecraft Adventures B2G1 Free
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Q&A | August 26, 2015

    Christopher Moore: IMG Powell’s Q&A: Christopher Moore



    Note: Join us this Thursday, August 27, at Powell's Books at Cedar Hills Crossing for an author event with Christopher Moore. Describe your latest... Continue »
    1. $18.89 Sale Hardcover add to wish list

      Secondhand Souls

      Christopher Moore 9780061779787

    spacer
Qualifying orders ship free.
$180.25
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- Programming and Languages

This title in other editions

Logic of Domains

by

Logic of Domains Cover

 

Synopses & Reviews

Book News Annotation:

A revision of the author's Ph.D. thesis submitted to the U. of Cambridge in May 1989, this is a 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, Zhang builds logical frameworks from domains and uses them for the derivation of program logics.
Annotation c. Book News, Inc., Portland, OR (booknews.com)

Product Details

ISBN:
9780817635701
Author:
Zhang, G.
Publisher:
Birkhauser
Author:
Zhang, Guo-Qiang
Subject:
Computer Science
Subject:
General science
Subject:
History
Subject:
Programming Languages - General
Subject:
Math Applications in Computer Science
Subject:
Mathematical Logic and Foundations
Subject:
Mathematical Logic and Formal Languages
Subject:
Logic Design
Subject:
Logics and Meanings of Programs
Subject:
APPLICATIONS OF MATHEMATICS
Subject:
Software Engineering - Programming and Languages
Subject:
Data processing
Copyright:
Edition Number:
1
Edition Description:
Book
Series:
Progress in Theoretical Computer Science
Publication Date:
January 1991
Binding:
HARDCOVER
Language:
English
Illustrations:
Y
Pages:
270
Dimensions:
235 x 155 mm 1250 gr

Related Subjects

Computers and Internet » Computers Reference » General
Computers and Internet » Personal Computers » General
Computers and Internet » Software Engineering » Programming and Languages
Science and Mathematics » History of Science » General
Science and Mathematics » Mathematics » Probability and Statistics » General
Science and Mathematics » Mathematics » Probability and Statistics » Statistics

Logic of Domains New Hardcover
0 stars - 0 reviews
$180.25 In Stock
Product details 270 pages Birkhauser Boston - English 9780817635701 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

       
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.