Computational Logic and Set Theory : Applying Formalized Logic to Analysis /

Computational Logic and Set Theory : Applying Formalized Logic to Analysis /

Show other versions (1)

As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem. This must-read text presents the pioneering work of the late Professor Jacob (Jack) T...

Full description

Bibliographic Details
Main Authors: Schwartz, Jacob T. (Author, http://id.loc.gov/vocabulary/relators/aut), Cantone, Domenico (http://id.loc.gov/vocabulary/relators/aut), Omodeo, Eugenio G. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: Book
Language:English
Published: London : Springer London : Imprint: Springer, 2011
Edition:First edition 2011
Series:Computer Science (Springer-11645)
Subjects:
Computer science
Computers
Logic, Symbolic and mathematical
Computer Science, general
Computation by Abstract Devices
Mathematical Logic and Formal Languages

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items