Revere

Logic-Based Program Synthesis and Transformation: 9th International Workshop,...

Description: Logic-Based Program Synthesis and Transformation: 9th International Workshop, Lopstr'99, Venice, Italy, September 22-24, 1999 Selected Papers by Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less

Price: 37.84 USD

Location: Aurora, Illinois

End Time: 2024-11-09T16:25:56.000Z

Shipping Cost: 0 USD

Product Images

Logic-Based Program Synthesis and Transformation: 9th International Workshop,...

Item Specifics

Return shipping will be paid by: Seller

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

Return policy details:

Binding: Paperback

Weight: 1 lbs

Product Group: Book

IsTextBook: No

Number of Pages: VII, 312 Pages

Language: English

Publication Name: Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR '99, Venice, Italy, September 1999 - Selected Papers

Publisher: Springer Berlin / Heidelberg

Subject: Programming / General, Software Development & Engineering / General, Computer Science, Logic Design

Publication Year: 2000

Item Weight: 36.3 Oz

Type: Textbook

Author: Annalisa Bossi

Subject Area: Computers

Item Length: 9.2 in

Item Width: 6.1 in

Series: Lecture Notes in Computer Science Ser.

Format: Trade Paperback

Recommended

Logic Programming and Nonmonotonic Reasoning: 6th International Conference,...
Logic Programming and Nonmonotonic Reasoning: 6th International Conference,...

$50.63

View Details
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Math
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Math

$15.00

View Details
Logic-Based Program Synthesis and Transformation: 27th (2018)
Logic-Based Program Synthesis and Transformation: 27th (2018)

$44.06

View Details
Computer Logic: Design Principles and Applications by Hsu, John Y.
Computer Logic: Design Principles and Applications by Hsu, John Y.

$20.44

View Details
The Logic Programming Tutor by Paine, Jocelyn
The Logic Programming Tutor by Paine, Jocelyn

$107.00

View Details
Logic Programming: The Joint [9th] International Conference & Symposium
Logic Programming: The Joint [9th] International Conference & Symposium

$8.56

View Details
De Schreye - Logic-Based Program Synthesis and Transformation   19th  - S9000z
De Schreye - Logic-Based Program Synthesis and Transformation 19th - S9000z

$68.72

View Details
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LO
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LO

$67.60

View Details
Logic-Based Program Synthesis and Transformation: 16th International Symposium,
Logic-Based Program Synthesis and Transformation: 16th International Symposium,

$67.23

View Details
LOGIC PRO 9 POWER!: THE COMPREHENSIVE GUIDE By Kevin Anker & Orren Merton *Mint*
LOGIC PRO 9 POWER!: THE COMPREHENSIVE GUIDE By Kevin Anker & Orren Merton *Mint*

$16.75

View Details