Synopsis
First-Order Programming Theories Proposes a logical approach to the theory of programming. This book provides formal methods and tools for reasoning about computer programs and programming languages by allowing the syntactic and semantic characterization of programs, the description of program properties, and ways to check whether a given program satisfies certain properties.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for First-Order Programming Theories (E A T C S MONOGRAPHS...
Stock Image
First-Order Programming Theory - Cultivating Contextual Understanding
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-83606
Stock Image
First-Order Programming Theory
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. 351. Seller Inventory # 263124555
Stock Image
First-Order Programming Theory
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. 351. Seller Inventory # 5771924
Buy Used
£ 94.05
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
First-Order Programming Theory
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. 351. Seller Inventory # 183124545
Stock Image
First-Order Programming Theories (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA77303875427796
Buy Used
£ 125
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available